kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
asau 5774741b20 Support staged installation.
2009-12-12 21:12:43 +00:00
..
patches Support staged installation. 2009-12-12 21:12:43 +00:00
DESCR
distinfo Support staged installation. 2009-12-12 21:12:43 +00:00
Makefile Support staged installation. 2009-12-12 21:12:43 +00:00
MESSAGE
PLIST Update lang/coq to 8.2pl1 2009-09-05 20:44:57 +00:00
PLIST.opt Update lang/coq to 8.2pl1 2009-09-05 20:44:57 +00:00