Date: Thu, 16 Mar 2006 15:31:23 +0000 (UTC) From: Pav Lucistnik <pav@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/coq Makefile distinfo pkg-plist Message-ID: <200603161531.k2GFVNhk077929@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
pav 2006-03-16 15:31:23 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo pkg-plist
Log:
- Update to 8.0pl3
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl>
Revision Changes Path
1.12 +6 -8 ports/math/coq/Makefile
1.5 +6 -6 ports/math/coq/distinfo
1.5 +3 -6 ports/math/coq/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200603161531.k2GFVNhk077929>