adam b6d9bd86bc revbump for icu and libffi		2021-12-08 16:01:42 +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	revbump for icu and libffi	2021-12-08 16:01:42 +00:00
MESSAGE
options.mk	Update lang/coq to 8.12.2.	2021-02-09 22:37:43 +00:00
PLIST	Update lang/coq to 8.12.2.	2021-02-09 22:37:43 +00:00