pkgsrc/lang/coq
2014-10-10 08:39:08 +00:00
..
patches Revbump because of ocaml 4.02, added compilation patch (already in 2014-10-09 22:19:01 +00:00
DESCR
distinfo Revbump because of ocaml 4.02, added compilation patch (already in 2014-10-09 22:19:01 +00:00
Makefile Revbump because of ocaml 4.02, added compilation patch (already in 2014-10-09 22:19:01 +00:00
MESSAGE
options.mk Changed package dependencies to reflect lablgtk name change. 2014-10-10 08:39:08 +00:00
PLIST Revbump because of ocaml 4.02, added compilation patch (already in 2014-10-09 22:19:01 +00:00