jaapb
d9c6ec76ea
Updated lang/coq to version 8.9.0.
...
Many improvements and fixes, but none that appear to break compatibility.
For more details see the CHANGES file.
2019-03-06 09:28:23 +00:00
jaapb
0e115e0fcc
Updated package lang/coq to version 8.8.1.
...
The list of improvements, additions, bugfixes and so on is quite large;
those interested can refer to the CHANGES file in the distribution.
The reference manual has been fully ported to Sphinx.
2018-08-02 12:57:03 +00:00
jaapb
8d9c1678f2
Updated package lang/coq to version 8.7.1.
...
This is a compatibility release with OCaml 4.06.0. It also contains many
bugfixes, documentation improvements and user message improvements.
2018-01-10 16:26:53 +00:00
jaapb
f130e82ddf
Changed package dependencies to reflect lablgtk name change.
2014-10-10 08:39:08 +00:00
jaapb
2adf61bcef
Updated package to add 'doc' option and (if given) build documentation, as
...
requested in PR pkg/47152. Bumped PKGREVISION.
2012-11-16 14:44:22 +00:00
