diff options
author | jaapb <jaapb@pkgsrc.org> | 2015-01-20 14:24:34 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2015-01-20 14:24:34 +0000 |
commit | d9252893c73e4f197cfb64ce650517bc103da348 (patch) | |
tree | e0c3468f31cc60f6d7baa4e286795c6e5d383520 /lang | |
parent | 0a6a7a0c94d6a9aca9d2903fd2be8706df42c0bf (diff) | |
download | pkgsrc-d9252893c73e4f197cfb64ce650517bc103da348.tar.gz |
Revbump associated with update of lang/ocaml.
Diffstat (limited to 'lang')
-rw-r--r-- | lang/boomerang/Makefile | 4 | ||||
-rw-r--r-- | lang/camlp5/Makefile | 3 | ||||
-rw-r--r-- | lang/camlp5/buildlink3.mk | 4 | ||||
-rw-r--r-- | lang/coq/Makefile | 4 | ||||
-rw-r--r-- | lang/pict/Makefile | 4 |
5 files changed, 10 insertions, 9 deletions
diff --git a/lang/boomerang/Makefile b/lang/boomerang/Makefile index 09f5e49649b..26735b6dbd6 100644 --- a/lang/boomerang/Makefile +++ b/lang/boomerang/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.6 2014/10/09 19:14:04 jaapb Exp $ +# $NetBSD: Makefile,v 1.7 2015/01/20 14:24:36 jaapb Exp $ # DISTNAME= boomerang-0.2-source PKGNAME= ${DISTNAME:S/-source//} -PKGREVISION= 4 +PKGREVISION= 5 CATEGORIES= lang MASTER_SITES= http://www.seas.upenn.edu/~harmony/download/ diff --git a/lang/camlp5/Makefile b/lang/camlp5/Makefile index 8d729f256e4..c64e41c210e 100644 --- a/lang/camlp5/Makefile +++ b/lang/camlp5/Makefile @@ -1,8 +1,9 @@ -# $NetBSD: Makefile,v 1.20 2014/10/09 21:42:03 jaapb Exp $ +# $NetBSD: Makefile,v 1.21 2015/01/20 14:24:36 jaapb Exp $ # DISTNAME= camlp5-6.12 PKGNAME= ${DISTNAME} # to avoid being called ocaml-camlp5 +PKGREVISION= 1 CATEGORIES= lang MASTER_SITES= http://camlp5.gforge.inria.fr/distrib/src/ EXTRACT_SUFX= .tgz diff --git a/lang/camlp5/buildlink3.mk b/lang/camlp5/buildlink3.mk index c26e4675ec8..9a9f248bc31 100644 --- a/lang/camlp5/buildlink3.mk +++ b/lang/camlp5/buildlink3.mk @@ -1,4 +1,4 @@ -# $NetBSD: buildlink3.mk,v 1.9 2014/10/09 21:42:03 jaapb Exp $ +# $NetBSD: buildlink3.mk,v 1.10 2015/01/20 14:24:36 jaapb Exp $ # BUILDLINK_TREE+= camlp5 @@ -7,7 +7,7 @@ BUILDLINK_TREE+= camlp5 CAMLP5_BUILDLINK3_MK:= BUILDLINK_API_DEPENDS.camlp5+= camlp5>=5.01 -BUILDLINK_ABI_DEPENDS.camlp5+= camlp5>=6.12 +BUILDLINK_ABI_DEPENDS.camlp5+= camlp5>=6.12nb1 BUILDLINK_PKGSRCDIR.camlp5?= ../../lang/camlp5 .include "../../lang/ocaml/buildlink3.mk" diff --git a/lang/coq/Makefile b/lang/coq/Makefile index aca975b0066..e78c2472cdf 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.77 2014/10/09 22:19:01 jaapb Exp $ +# $NetBSD: Makefile,v 1.78 2015/01/20 14:24:36 jaapb Exp $ # DISTNAME= coq-8.4pl4 PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml- -PKGREVISION= 2 +PKGREVISION= 3 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ diff --git a/lang/pict/Makefile b/lang/pict/Makefile index 8486308facc..e0a843133e1 100644 --- a/lang/pict/Makefile +++ b/lang/pict/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.8 2014/10/09 19:14:04 jaapb Exp $ +# $NetBSD: Makefile,v 1.9 2015/01/20 14:24:36 jaapb Exp $ DISTNAME= pict-4.1 -PKGREVISION= 4 +PKGREVISION= 5 CATEGORIES= lang MASTER_SITES= http://www.cis.upenn.edu/~bcpierce/papers/pict/pict-4.1/ |