chrisz b73d87a0a9 Add missing BUILD_DEPENDS/lang/ocaml-camlp4 to math/coq ... noticed by landry@		2014-09-10 08:36:18 +00:00
..
patches	Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;	2014-08-27 09:44:59 +00:00
pkg	Update to 8.4pl3; Yozo Toda.	2014-03-26 03:27:26 +00:00
distinfo	Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;	2014-08-27 09:44:59 +00:00
Makefile	Add missing BUILD_DEPENDS/lang/ocaml-camlp4 to math/coq	2014-09-10 08:36:18 +00:00