pkgsrc/lang/coq
2016-05-05 11:45:36 +00:00
..
patches Updated package to latest version, 8.5. The changeset is over 500 lines 2016-02-06 16:08:36 +00:00
DESCR
distinfo Updated package to latest version, 8.5. The changeset is over 500 lines 2016-02-06 16:08:36 +00:00
Makefile Recursive revbump associated with ocaml update. 2016-05-05 11:45:36 +00:00
MESSAGE
options.mk Changed package dependencies to reflect lablgtk name change. 2014-10-10 08:39:08 +00:00
PLIST Updated package to latest version, 8.5. The changeset is over 500 lines 2016-02-06 16:08:36 +00:00