diff options
| author | johans <johans@FreeBSD.org> | 2011-04-26 01:48:54 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2011-04-26 01:48:54 +0800 |
| commit | 5341e9612e2239f2f764fb9db7a4b26db827da6b (patch) | |
| tree | 0f3ddde948c9073161ec0a3c6aa55d932de93bb7 /math | |
| parent | 22fd42ea8d30c157ca7c4b7df992dd5beacb00c0 (diff) | |
| download | freebsd-ports-gnome-5341e9612e2239f2f764fb9db7a4b26db827da6b.tar.gz freebsd-ports-gnome-5341e9612e2239f2f764fb9db7a4b26db827da6b.tar.zst freebsd-ports-gnome-5341e9612e2239f2f764fb9db7a4b26db827da6b.zip | |
Update coq to 8.3.2
Diffstat (limited to 'math')
| -rw-r--r-- | math/coq/Makefile | 7 | ||||
| -rw-r--r-- | math/coq/distinfo | 4 |
2 files changed, 6 insertions, 5 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index bf71c5908713..9c5bab6bf3a8 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,18 +6,19 @@ # PORTNAME= coq -PORTVERSION= 8.3.1 +PORTVERSION= 8.3.2 PORTEPOCH= 1 CATEGORIES= math -MASTER_SITES= http://coq.inria.fr/distrib/V${DISTVERSION}/files/ \ +MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ -DISTNAME= ${PORTNAME}-${PORTVERSION:R}pl${PORTVERSION:E} +DISTNAME= ${PORTNAME}-${COQVERSION} MAINTAINER= johans@FreeBSD.org COMMENT= Theorem prover based on lambda-C BUILD_DEPENDS= camlp5:${PORTSDIR}/devel/ocaml-camlp5 +COQVERSION= ${PORTVERSION:R}pl${PORTVERSION:E} USE_OCAML= yes USE_GMAKE= yes ALL_TARGET= world diff --git a/math/coq/distinfo b/math/coq/distinfo index baa7243797ef..e6c510d01234 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,2 +1,2 @@ -SHA256 (coq-8.3pl1.tar.gz) = 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928 -SIZE (coq-8.3pl1.tar.gz) = 3756961 +SHA256 (coq-8.3pl2.tar.gz) = b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 +SIZE (coq-8.3pl2.tar.gz) = 3760176 |