summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index aca975b0066..e78c2472cdf 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile,v 1.77 2014/10/09 22:19:01 jaapb Exp $
+# $NetBSD: Makefile,v 1.78 2015/01/20 14:24:36 jaapb Exp $
#
DISTNAME= coq-8.4pl4
PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml-
-PKGREVISION= 2
+PKGREVISION= 3
CATEGORIES= lang math
MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/