patches
|
Updated lang/coq to version 8.9.0.
|
2019-03-06 09:28:23 +00:00 |
distinfo
|
Updated lang/coq to version 8.9.0.
|
2019-03-06 09:28:23 +00:00 |
Makefile
|
Recursive revbump from textproc/icu
|
2019-04-03 00:32:25 +00:00 |
options.mk
|
Updated lang/coq to version 8.9.0.
|
2019-03-06 09:28:23 +00:00 |
PLIST
|
Updated lang/coq to version 8.9.0.
|
2019-03-06 09:28:23 +00:00 |