kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Correct PORTVERSION: pl (patch level) releases follow a main release

Browse source 
Reported by:		erwin
This commit is contained in:
Johan van Selst 2011-04-18 17:19:28 +00:00
parent c9176bdd3d
commit 2b939d9dc2
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=272885
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
math/coq/Makefile
View file

@ -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