diff options
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index ff8335f6837..24b23ac5a9b 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,10 +1,9 @@ -# $NetBSD: Makefile,v 1.11 2006/01/16 14:34:34 tonio Exp $ +# $NetBSD: Makefile,v 1.12 2006/01/27 19:22:58 tonio Exp $ # -DISTNAME= coq-8.0pl2 -PKGREVISION= 1 +DISTNAME= coq-8.0pl3 CATEGORIES= lang math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/ MAINTAINER= richards+netbsd@CS.Princeton.EDU HOMEPAGE= http://coq.inria.fr/ |