Date: Wed, 7 Dec 2005 15:59:14 +0000 (UTC) From: Volker Stolz <vs@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/coq Makefile distinfo Message-ID: <200512071559.jB7FxEG3056235@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200512071559.jB7FxEG3056235>