summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2012-03-03 00:11:51 +0000
committerwiz <wiz@pkgsrc.org>2012-03-03 00:11:51 +0000
commitfb966fa26f35c804660e1ad797ea6d68b0c03b17 (patch)
treea1c602ef4a7cc8ff28e093a91e96ec5a529d4fa0 /lang/coq
parent1f896ff9b4778b2a5823529549e27b6d5a6b7758 (diff)
downloadpkgsrc-fb966fa26f35c804660e1ad797ea6d68b0c03b17.tar.gz
Recursive bump for pcre-8.30* (shlib major 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 c27e96b7262..877cfc3f8a3 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.38 2012/02/06 12:40:46 wiz Exp $
+# $NetBSD: Makefile,v 1.39 2012/03/03 00:13:25 wiz Exp $
#
DISTNAME= coq-8.3pl1
-PKGREVISION= 6
+PKGREVISION= 7
CATEGORIES= lang math
MASTER_SITES= http://coq.inria.fr/distrib/V8.3pl1/files/