Date: Wed, 16 Apr 2008 22:10:53 +0000 (UTC) From: Johan van Selst <johans@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/coq Makefile Message-ID: <200804162210.m3GMAriB084595@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200804162210.m3GMAriB084595>