diff options
author | tron <tron@pkgsrc.org> | 2014-02-12 23:17:32 +0000 |
---|---|---|
committer | tron <tron@pkgsrc.org> | 2014-02-12 23:17:32 +0000 |
commit | 5d5d37e762cbc38591cf26e7c4c5954e52246953 (patch) | |
tree | 437a865da8d01c86343f3a78f63e77aad15ad97a /lang/coq/Makefile | |
parent | a98a8d247bc210a6f2da4c31810bc73cd44895f4 (diff) | |
download | pkgsrc-5d5d37e762cbc38591cf26e7c4c5954e52246953.tar.gz |
Recursive PKGREVISION bump for OpenSSL API version bump.
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r-- | lang/coq/Makefile | 4 |
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/ |