openbsd-ports/math/coq
chrisz 0081341c9f update lang/ocaml to 4.00.1.
Let all ocaml ports RUN_DEPEND on the version of ocaml they were built with.
2012-11-30 19:38:09 +00:00
..
patches
pkg
distinfo base64 checksums. 2007-04-05 16:19:55 +00:00
Makefile update lang/ocaml to 4.00.1. 2012-11-30 19:38:09 +00:00