diff options
| author | Volker Stolz <vs@FreeBSD.org> | 2005-02-02 11:34:42 +0000 |
|---|---|---|
| committer | Volker Stolz <vs@FreeBSD.org> | 2005-02-02 11:34:42 +0000 |
| commit | 9b77394e189dffa3786512a581640474ea981ef5 (patch) | |
| tree | 016ffa5e693c5e3915eea6626d433923169a3488 /math/coq | |
| parent | ef5113a4dda6d3e2051f26dbba70a6b1e50c1c25 (diff) | |
| download | ports-9b77394e189dffa3786512a581640474ea981ef5.tar.gz ports-9b77394e189dffa3786512a581640474ea981ef5.zip | |
Notes
Diffstat (limited to 'math/coq')
| -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 |