kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
obache 8ace00dcd8 recursive bump from libffi shlib major bump 
(additionaly, reset PKGREVISION of qt4-* sub packages from base qt4 update)
2012-09-15 10:03:29 +00:00
..
patches Update lang/coq to 8.3pl1 2011-03-28 20:39:26 +00:00
DESCR
distinfo Update lang/coq to 8.3pl1 2011-03-28 20:39:26 +00:00
Makefile recursive bump from libffi shlib major bump 2012-09-15 10:03:29 +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