summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authortron <tron@pkgsrc.org>2013-06-04 22:15:37 +0000
committertron <tron@pkgsrc.org>2013-06-04 22:15:37 +0000
commite05e426ab43da6bb48ab55916d999c4d503e688a (patch)
tree6b8ed11551c6ae6edf7530700df81d41fe88397e /lang/coq
parent6ac78ffb0f037a74145725b7dcfcfa4652d7dd23 (diff)
downloadpkgsrc-e05e426ab43da6bb48ab55916d999c4d503e688a.tar.gz
Try to fix the fallout caused by the fix for PR pkg/47882. Part 3:
Recursively bump package revisions again after the "freetype2" and "fontconfig" handling was fixed.
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 c2491fdc989..ed2e62ed1e7 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.62 2013/06/03 10:05:27 wiz Exp $
+# $NetBSD: Makefile,v 1.63 2013/06/04 22:16:33 tron Exp $
#
DISTNAME= coq-8.4pl2
-PKGREVISION= 3
+PKGREVISION= 4
CATEGORIES= lang math
MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/