Date: Wed, 2 Feb 2005 11:34:42 +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: <200502021134.j12BYgxl033537@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
vs 2005-02-02 11:34:42 UTC FreeBSD ports repository Modified files: math/coq Makefile distinfo Log: Update to 8.0p2 PR: ports/76977 Submitted by: Rene Laden (maintainer) Revision Changes Path 1.6 +3 -6 ports/math/coq/Makefile 1.2 +2 -4 ports/math/coq/distinfo
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200502021134.j12BYgxl033537>