diff options
| author | tv <tv@pkgsrc.org> | 2004-10-03 00:12:51 +0000 |
|---|---|---|
| committer | tv <tv@pkgsrc.org> | 2004-10-03 00:12:51 +0000 |
| commit | c487cb967ac6446ee23e26612d1ba53dfe5bd7d1 (patch) | |
| tree | 7a77b0b911386450709129a67eb0551755a34953 /lang/coq | |
| parent | 3180c40de85d6249c572f6db614da0049e9c4a79 (diff) | |
| download | pkgsrc-c487cb967ac6446ee23e26612d1ba53dfe5bd7d1.tar.gz | |
Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10
in the process. (More information on tech-pkg.)
Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and
installing .la files.
Bump PKGREVISION (only) of all packages depending directly on the above
via a buildlink3 include.
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 fa8be2ad9dc..aaff7331cc8 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.4 2004/04/28 05:06:28 snj Exp $ +# $NetBSD: Makefile,v 1.5 2004/10/03 00:15:00 tv Exp $ # DISTNAME= coq-7.4 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang math MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.4/ |