diff options
| author | Johan van Selst <johans@FreeBSD.org> | 2011-04-18 17:19:28 +0000 |
|---|---|---|
| committer | Johan van Selst <johans@FreeBSD.org> | 2011-04-18 17:19:28 +0000 |
| commit | 2b939d9dc2e5ca971bf3fc8ac7185daa9e3ec251 (patch) | |
| tree | 0bfd77ba026c17e333c4ebf0709693a7b8a47b04 /math/coq | |
| parent | Add a reload verb for istgt rc.d script. (diff) | |
Correct PORTVERSION: pl (patch level) releases follow a main release
Reported by: erwin
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 0b6fee6d859f..bf71c5908713 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,11 +6,12 @@ # PORTNAME= coq -DISTVERSION= 8.3pl1 +PORTVERSION= 8.3.1 PORTEPOCH= 1 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${DISTVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ +DISTNAME= ${PORTNAME}-${PORTVERSION:R}pl${PORTVERSION:E} MAINTAINER= johans@FreeBSD.org COMMENT= Theorem prover based on lambda-C |