kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
ryoon 76d5de997e Recursive rebvump from devel/nss
2019-05-05 22:49:45 +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 rebvump from devel/nss 2019-05-05 22:49:45 +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