diff options
| author | vs <vs@FreeBSD.org> | 2005-02-02 19:34:42 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2005-02-02 19:34:42 +0800 |
| commit | d917b2e0b9ead59b70cb736704731569886c650e (patch) | |
| tree | 8d42c3d73e10c19476850904d9e886ef8368fdda /math/coq | |
| parent | 4cca5a092b2a079c963372a9629f4afb0234dd6d (diff) | |
| download | freebsd-ports-gnome-d917b2e0b9ead59b70cb736704731569886c650e.tar.gz freebsd-ports-gnome-d917b2e0b9ead59b70cb736704731569886c650e.tar.zst freebsd-ports-gnome-d917b2e0b9ead59b70cb736704731569886c650e.zip | |
Update to 8.0p2
PR: ports/76977
Submitted by: Rene Laden (maintainer)
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 |