diff options
Diffstat (limited to 'math/coq/Makefile')
| -rw-r--r-- | math/coq/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 4bbe10c00a46..8ea7c773edbb 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -1,13 +1,13 @@ PORTNAME= coq PORTVERSION= 8.20.1 -PORTREVISION= 1 +PORTREVISION= 2 PORTEPOCH= 3 CATEGORIES= math DISTVERSIONPREFIX= V #DISTVERSIONSUFFIX= .0 PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} -MAINTAINER= hrs@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Theorem prover based on lambda-C WWW= https://coq.inria.fr/ |