cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
openbsd-ports/math/coq
History
chrisz 5ae518c3da Upgrade math/coq to 8.11.1 
ok daniel@
2020-06-01 06:04:50 +00:00
..
patches
Upgrade to 8.10beta2, which supports OCaml 4.08.
2019-09-06 22:10:18 +00:00
pkg
Upgrade math/coq to 8.11.1
2020-06-01 06:04:50 +00:00
distinfo
Upgrade math/coq to 8.11.1
2020-06-01 06:04:50 +00:00
Makefile
Upgrade math/coq to 8.11.1
2020-06-01 06:04:50 +00:00