summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authortron <tron@pkgsrc.org>2014-02-12 23:17:32 +0000
committertron <tron@pkgsrc.org>2014-02-12 23:17:32 +0000
commit5d5d37e762cbc38591cf26e7c4c5954e52246953 (patch)
tree437a865da8d01c86343f3a78f63e77aad15ad97a /lang/coq
parenta98a8d247bc210a6f2da4c31810bc73cd44895f4 (diff)
downloadpkgsrc-5d5d37e762cbc38591cf26e7c4c5954e52246953.tar.gz
Recursive PKGREVISION bump for OpenSSL API version bump.
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 640cc8272a5..b3eef1acb15 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.71 2014/01/01 11:52:21 wiz Exp $
+# $NetBSD: Makefile,v 1.72 2014/02/12 23:18:05 tron Exp $
#
DISTNAME= coq-8.4pl2
-PKGREVISION= 11
+PKGREVISION= 12
CATEGORIES= lang math
MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/