From d9252893c73e4f197cfb64ce650517bc103da348 Mon Sep 17 00:00:00 2001
From: jaapb <jaapb@pkgsrc.org>
Date: Tue, 20 Jan 2015 14:24:34 +0000
Subject: Revbump associated with update of lang/ocaml.

---
 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 aca975b0066..e78c2472cdf 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile,v 1.77 2014/10/09 22:19:01 jaapb Exp $
+# $NetBSD: Makefile,v 1.78 2015/01/20 14:24:36 jaapb Exp $
 #
 
 DISTNAME=	coq-8.4pl4
 PKGNAME=	${DISTNAME} # to avoid prefixing with ocaml-
-PKGREVISION=	2
+PKGREVISION=	3
 CATEGORIES=	lang math
 MASTER_SITES=	http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/
 
-- 
cgit v1.2.3