diff options
| author | jmmv <jmmv> | 2004-12-24 17:21:01 +0000 |
|---|---|---|
| committer | jmmv <jmmv> | 2004-12-24 17:21:01 +0000 |
| commit | 7bb555e0c491bb62758defc591b0c27f68a8977b (patch) | |
| tree | 6e7a4e81d2e0c17c2af0105bc38380ca0fc8fd87 /lang | |
| parent | 6e39b54aaa852ea16a8ecd11cf48ded0063d741b (diff) | |
| download | pkgsrc-7bb555e0c491bb62758defc591b0c27f68a8977b.tar.gz | |
Adjust dependencies after ocaml has been splitted into three different
packages: ocaml, ocaml-graphics and labltk. Bump PKGREVISION.
Diffstat (limited to 'lang')
| -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/ |