daniel 7e3735bd84 Update to coq 8.10.0; ok Yoza Toda (MAINTAINER)

2019-10-16 06:40:03 +00:00

..

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