vs 2005-12-07 15:59:14 UTC FreeBSD ports repository Modified files: math/coq Makefile distinfo Log: Unbreak: Add vendor-patch for ocaml 3.09 Revision Changes Path 1.10 +2 -0 ports/math/coq/Makefile 1.4 +3 -0 ports/math/coq/distinfo