From a4210a752aba90d273d16901a81fab63f3099010 Mon Sep 17 00:00:00 2001
From: adam <adam>
Date: Mon, 2 Sep 2013 19:50:38 +0000
Subject: Revbump after cairo update

---
 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 10dcd5ff41d..fbf789f7cde 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.64 2013/06/06 12:54:40 wiz Exp $
+# $NetBSD: Makefile,v 1.65 2013/09/02 19:51:13 adam Exp $
 #
 
 DISTNAME=	coq-8.4pl2
-PKGREVISION=	5
+PKGREVISION=	6
 CATEGORIES=	lang math
 MASTER_SITES=	http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/
 
-- 
cgit v1.2.3