summaryrefslogtreecommitdiff
path: root/lang/coq/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r--lang/coq/Makefile7
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/