From c33d2074af365a82eaa06983185e35b4e96c3cf9 Mon Sep 17 00:00:00 2001
From: jmmv <jmmv@pkgsrc.org>
Date: Fri, 24 Dec 2004 17:21:01 +0000
Subject: Adjust dependencies after ocaml has been splitted into three
 different packages: ocaml, ocaml-graphics and labltk.  Bump PKGREVISION.

---
 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 86cac3e6de2..51ec5ccdc17 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.6 2004/12/03 15:15:00 wiz Exp $
+# $NetBSD: Makefile,v 1.7 2004/12/24 17:21:01 jmmv Exp $
 #
 
 DISTNAME=	coq-7.4
-PKGREVISION=	2
+PKGREVISION=	3
 CATEGORIES=	lang math
 MASTER_SITES=	ftp://ftp.inria.fr/INRIA/coq/V7.4/
 
-- 
cgit v1.2.3