wiz e2c0792827 coq: mark as BROKEN because it does not support ocaml 4.14		2022-06-03 08:21:55 +00:00
..
patches	Update lang/coq to 8.12.2.	2021-02-09 22:37:43 +00:00
DESCR
distinfo	lang: Replace RMD160 checksums with BLAKE2s checksums	2021-10-26 10:51:29 +00:00
Makefile	coq: mark as BROKEN because it does not support ocaml 4.14	2022-06-03 08:21:55 +00:00
MESSAGE
options.mk	*: fix usage of versioned_dependencies	2022-05-01 09:45:41 +00:00
PLIST	Update lang/coq to 8.12.2.	2021-02-09 22:37:43 +00:00