johans 2008-04-16 22:10:53 UTC FreeBSD ports repository Modified files: math/coq Makefile Log: - Due to depency updates, camlp5 (fresh port) is now required as well: Include this dependency and bump portrevision Revision Changes Path 1.17 +3 -0 ports/math/coq/Makefile