From b856777e516d9556860c3966a17f64fe82313a0b Mon Sep 17 00:00:00 2001 From: johans Date: Mon, 18 Apr 2011 17:19:28 +0000 Subject: Correct PORTVERSION: pl (patch level) releases follow a main release Reported by: erwin --- math/coq/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit