This website requires JavaScript.
Explore
Help
Register
Sign in
kpriv
/
pkgsrc
Watch
1
Star
0
Fork
You've already forked pkgsrc
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
5dddf990fc
pkgsrc
/
lang
/
coq
History
adam
1ab43a036f
Massive revbump after updating graphics/ilmbase, graphics/openexr, textproc/icu.
2013-05-09 07:39:04 +00:00
..
patches
Updated lang/coq to the newest version, 8.4pl1. Changes include:
2013-01-22 15:32:03 +00:00
DESCR
distinfo
Updated package to the latest version, 8.4pl2. Changes include:
2013-04-20 08:21:49 +00:00
Makefile
Massive revbump after updating graphics/ilmbase, graphics/openexr, textproc/icu.
2013-05-09 07:39:04 +00:00
MESSAGE
options.mk
Updated package to add 'doc' option and (if given) build documentation, as
2012-11-16 14:44:22 +00:00
PLIST
Updated package to add 'doc' option and (if given) build documentation, as
2012-11-16 14:44:22 +00:00