diff options
author | sbd <sbd@pkgsrc.org> | 2012-06-14 07:43:06 +0000 |
---|---|---|
committer | sbd <sbd@pkgsrc.org> | 2012-06-14 07:43:06 +0000 |
commit | cdfc7f300d0ab76aa06e3c358409cae56c113934 (patch) | |
tree | 4328c29af2393977d63f8c78ee2997bc36b41f4b /lang/coq | |
parent | b94d3160ff758c4763b50bfdc8af38e5cc63b294 (diff) | |
download | pkgsrc-cdfc7f300d0ab76aa06e3c358409cae56c113934.tar.gz |
Recursive PKGREVISION bump for libxml2 buildlink addition.
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 daa30da1c0d..c9ce33863e6 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.41 2012/04/27 12:31:51 obache Exp $ +# $NetBSD: Makefile,v 1.42 2012/06/14 07:43:53 sbd Exp $ # DISTNAME= coq-8.3pl1 -PKGREVISION= 9 +PKGREVISION= 10 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V8.3pl1/files/ |