summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorjmmv <jmmv@pkgsrc.org>2004-12-24 17:21:01 +0000
committerjmmv <jmmv@pkgsrc.org>2004-12-24 17:21:01 +0000
commitc33d2074af365a82eaa06983185e35b4e96c3cf9 (patch)
tree6e7a4e81d2e0c17c2af0105bc38380ca0fc8fd87 /lang/coq
parentfe7baa7662c16dc73022b35b5f41df5b7a05a64d (diff)
downloadpkgsrc-c33d2074af365a82eaa06983185e35b4e96c3cf9.tar.gz
Adjust dependencies after ocaml has been splitted into three different
packages: ocaml, ocaml-graphics and labltk. Bump PKGREVISION.
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile4
1 files changed, 2 insertions, 2 deletions
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/