kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
wiz af3596f984 png shlib name changed for png>=1.5.0, so bump PKGREVISIONs.
2011-01-13 13:36:05 +00:00
..
patches Update lang/coq to 8.3 2010-11-14 20:53:02 +00:00
DESCR
distinfo Update lang/coq to 8.3 2010-11-14 20:53:02 +00:00
Makefile png shlib name changed for png>=1.5.0, so bump PKGREVISIONs. 2011-01-13 13:36:05 +00:00
MESSAGE
PLIST Update lang/coq to 8.3 2010-11-14 20:53:02 +00:00
PLIST.natdynlink Update lang/coq to 8.3 2010-11-14 20:53:02 +00:00
PLIST.opt Update lang/coq to 8.3 2010-11-14 20:53:02 +00:00