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