summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2013-10-09 17:39:01 +0000
committerwiz <wiz@pkgsrc.org>2013-10-09 17:39:01 +0000
commit5592d1530c99340ce32d24ce3286ddb5747aa253 (patch)
tree023a4084385219e94693779b56935bbba2b6238d /lang/coq
parent9676c40e045003a7958c097d4791aea280c7d871 (diff)
downloadpkgsrc-5592d1530c99340ce32d24ce3286ddb5747aa253.tar.gz
recursive bump for libmng-2.0.2 shlib major bump and dependency change
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 fbf789f7cde..bc5a01c3fbe 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.65 2013/09/02 19:51:13 adam Exp $
+# $NetBSD: Makefile,v 1.66 2013/10/09 17:39:12 wiz Exp $
#
DISTNAME= coq-8.4pl2
-PKGREVISION= 6
+PKGREVISION= 7
CATEGORIES= lang math
MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/