diff options
| author | jmmv <jmmv@pkgsrc.org> | 2004-12-24 17:21:01 +0000 |
|---|---|---|
| committer | jmmv <jmmv@pkgsrc.org> | 2004-12-24 17:21:01 +0000 |
| commit | c33d2074af365a82eaa06983185e35b4e96c3cf9 (patch) | |
| tree | 6e7a4e81d2e0c17c2af0105bc38380ca0fc8fd87 /lang/coq | |
| parent | fe7baa7662c16dc73022b35b5f41df5b7a05a64d (diff) | |
| download | pkgsrc-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/Makefile | 4 |
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/ |