jaapb d74acf301c Updated lang/coq to version 8.9.1. ... Main changes: * some quality-of-life bug fixes, * many improvements to the documentation, * a critical bug fix related to primitive projections and native_compute, * several additional Coq libraries shipped with the Windows installer.		2019-05-23 10:55:07 +00:00
..
patches	Updated lang/coq to version 8.9.0.	2019-03-06 09:28:23 +00:00
DESCR
distinfo	Updated lang/coq to version 8.9.1.	2019-05-23 10:55:07 +00:00
Makefile	Updated lang/coq to version 8.9.1.	2019-05-23 10:55:07 +00:00
MESSAGE
options.mk	More packages wave bye-bye to python34 and python35	2019-04-26 12:44:43 +00:00
PLIST	Updated lang/coq to version 8.9.0.	2019-03-06 09:28:23 +00:00