johans 2008-04-06 17:40:47 UTC FreeBSD ports repository Modified files: math/coq Makefile distinfo pkg-plist Log: - Update to 8.1pl3 - Take advantage of USE_OCAML - Update MASTER_SITES Revision Changes Path 1.16 +3 -4 ports/math/coq/Makefile 1.8 +3 -3 ports/math/coq/distinfo 1.8 +1 -0 ports/math/coq/pkg-plist