diff options
| author | johans <johans@FreeBSD.org> | 2011-04-19 01:19:28 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2011-04-19 01:19:28 +0800 |
| commit | b856777e516d9556860c3966a17f64fe82313a0b (patch) | |
| tree | 7b4a020c8dd8d01ce343c6781e84ad3c98222c8e | |
| parent | 34cf61a0a86efc463ecd60d03975b2d423712f92 (diff) | |
| download | freebsd-ports-gnome-b856777e516d9556860c3966a17f64fe82313a0b.tar.gz freebsd-ports-gnome-b856777e516d9556860c3966a17f64fe82313a0b.tar.zst freebsd-ports-gnome-b856777e516d9556860c3966a17f64fe82313a0b.zip | |
Correct PORTVERSION: pl (patch level) releases follow a main release
Reported by: erwin
| -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 |