kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
ryoon 6fc378bce9 Recursive revbump from textproc/icu
2019-04-03 00:32:25 +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.0. 2019-03-06 09:28:23 +00:00
Makefile Recursive revbump from textproc/icu 2019-04-03 00:32:25 +00:00
MESSAGE
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