summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authortv <tv@pkgsrc.org>2004-10-03 00:12:51 +0000
committertv <tv@pkgsrc.org>2004-10-03 00:12:51 +0000
commitc487cb967ac6446ee23e26612d1ba53dfe5bd7d1 (patch)
tree7a77b0b911386450709129a67eb0551755a34953 /lang/coq
parent3180c40de85d6249c572f6db614da0049e9c4a79 (diff)
downloadpkgsrc-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/Makefile4
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/