Date: Fri, 25 Jun 2010 06:53:04 +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 distinfo Message-ID: <201006250653.o5P6r4q8054124@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
johans 2010-06-25 06:53:04 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo
Log:
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation
PR: ports/148034
Submitted by: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe: yes
Revision Changes Path
1.24 +16 -17 ports/math/coq/Makefile
1.10 +3 -3 ports/math/coq/distinfo
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201006250653.o5P6r4q8054124>