From 80979ec0dfd3d44cc1d97050b51903b7ee29f7a3 Mon Sep 17 00:00:00 2001 From: wiz Date: Wed, 9 Oct 2013 17:39:01 +0000 Subject: recursive bump for libmng-2.0.2 shlib major bump and dependency change --- lang/coq/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lang/coq') 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/ -- cgit v1.2.3