|
patches
|
Upgrade to 8.10beta2, which supports OCaml 4.08.
|
2019-09-06 22:10:18 +00:00 |
|
pkg
|
fix plist for bytecode-only arm64, sparc64
|
2019-10-07 06:40:15 +00:00 |
|
distinfo
|
Update to coq 8.10.0; ok Yoza Toda (MAINTAINER)
|
2019-10-16 06:40:03 +00:00 |
|
Makefile
|
Update to coq 8.10.0; ok Yoza Toda (MAINTAINER)
|
2019-10-16 06:40:03 +00:00 |
