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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | math/coq/Makefile | 9 |
1 files changed, 3 insertions, 6 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 |