pkgsrc/lang/coq
2013-06-06 12:53:40 +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 Bump PKGREVISION for libXft changes for NetBSD native X support on 2013-06-06 12:53:40 +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