diff options
| -rw-r--r-- | math/coq/Makefile | 9 | ||||
| -rw-r--r-- | math/coq/distinfo | 6 |
2 files changed, 5 insertions, 10 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 0443eecf6477..31f6664c2c65 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,13 +6,10 @@ # PORTNAME= coq -PORTVERSION= 8.0p1 +PORTVERSION= 8.0p2 CATEGORIES= math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/ -DISTNAME= coq-8.0pl1 - -PATCH_SITES= ${MASTER_SITES} -PATCHFILES= patch-coq-8.0pl1-ocaml-3.08.1 +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ +DISTNAME= coq-8.0pl2 MAINTAINER= r.c.ladan@student.tue.nl COMMENT= Theorem prover based on lambda-C diff --git a/math/coq/distinfo b/math/coq/distinfo index 250d5e8b0910..9ad8ff14db26 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,4 +1,2 @@ -MD5 (coq-8.0pl1.tar.gz) = 95237e64081d7306fdea49e1988bde12 -SIZE (coq-8.0pl1.tar.gz) = 2272613 -MD5 (patch-coq-8.0pl1-ocaml-3.08.1) = 02ac210c6af5d8e258a2805a22822a8b -SIZE (patch-coq-8.0pl1-ocaml-3.08.1) = 1321 +MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 +SIZE (coq-8.0pl2.tar.gz) = 2285855 |