From b8fca8e9b7fcee2c50b2bc88492f9af9022a6fa9 Mon Sep 17 00:00:00 2001 From: jaapb Date: Tue, 30 Jun 2015 11:52:55 +0000 Subject: Recursive revbump associated with update of lang/ocaml to 4.02.2. --- lang/boomerang/Makefile | 4 ++-- lang/camlp4/Makefile | 6 +++--- lang/camlp4/distinfo | 8 ++++---- lang/coq/Makefile | 3 ++- lang/pict/Makefile | 4 ++-- 5 files changed, 13 insertions(+), 12 deletions(-) (limited to 'lang') diff --git a/lang/boomerang/Makefile b/lang/boomerang/Makefile index 57107bfb777..412694dbd92 100644 --- a/lang/boomerang/Makefile +++ b/lang/boomerang/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.8 2015/04/30 06:49:58 markd Exp $ +# $NetBSD: Makefile,v 1.9 2015/06/30 11:53:00 jaapb Exp $ # DISTNAME= boomerang-0.2-source PKGNAME= ${DISTNAME:S/-source//} -PKGREVISION= 5 +PKGREVISION= 6 CATEGORIES= lang MASTER_SITES= http://www.seas.upenn.edu/~harmony/download/ diff --git a/lang/camlp4/Makefile b/lang/camlp4/Makefile index 672d36ef0c4..1a30e4a4d05 100644 --- a/lang/camlp4/Makefile +++ b/lang/camlp4/Makefile @@ -1,6 +1,6 @@ -# $NetBSD: Makefile,v 1.8 2015/01/20 15:40:14 jaapb Exp $ +# $NetBSD: Makefile,v 1.9 2015/06/30 11:53:00 jaapb Exp $ -DISTNAME= 4.02.0+1 +DISTNAME= 4.02+6 PKGNAME= camlp4-${DISTNAME} PKGREVISION= 1 CATEGORIES= lang @@ -13,7 +13,7 @@ COMMENT= Preprocessor and pretty printer for OCaml LICENSE= gnu-lgpl-v2 HAS_CONFIGURE= yes -WRKSRC= ${WRKDIR}/camlp4-4.02.0-1 +WRKSRC= ${WRKDIR}/camlp4-4.02-6 MAKE_JOBS_SAFE= no .include "../../mk/ocaml.mk" diff --git a/lang/camlp4/distinfo b/lang/camlp4/distinfo index 55c582c34f4..15eb36beb49 100644 --- a/lang/camlp4/distinfo +++ b/lang/camlp4/distinfo @@ -1,5 +1,5 @@ -$NetBSD: distinfo,v 1.5 2014/10/09 20:39:27 jaapb Exp $ +$NetBSD: distinfo,v 1.6 2015/06/30 11:53:00 jaapb Exp $ -SHA1 (ocaml-camlp4/4.02.0+1.tar.gz) = 10d500d1262492ccd821c8c46c1b169784b25a53 -RMD160 (ocaml-camlp4/4.02.0+1.tar.gz) = 5f7a2c34ac7e147c1b44cb24791c2ac8464bcb74 -Size (ocaml-camlp4/4.02.0+1.tar.gz) = 645250 bytes +SHA1 (ocaml-camlp4/4.02+6.tar.gz) = 6dd7e591dfde94c44576dba9b847279ffb92c889 +RMD160 (ocaml-camlp4/4.02+6.tar.gz) = d4733ddb4856c3e74a0cfbaa0468553c014393e1 +Size (ocaml-camlp4/4.02+6.tar.gz) = 647140 bytes diff --git a/lang/coq/Makefile b/lang/coq/Makefile index e3caf1c4800..e83a0e91262 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,9 @@ -# $NetBSD: Makefile,v 1.80 2015/04/25 13:41:18 jaapb Exp $ +# $NetBSD: Makefile,v 1.81 2015/06/30 11:53:00 jaapb Exp $ # DISTNAME= coq-8.4pl6 PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml- +PKGREVISION= 1 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 e0a843133e1..cc01e90aef9 100644 --- a/lang/pict/Makefile +++ b/lang/pict/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.9 2015/01/20 14:24:36 jaapb Exp $ +# $NetBSD: Makefile,v 1.10 2015/06/30 11:53:00 jaapb Exp $ DISTNAME= pict-4.1 -PKGREVISION= 5 +PKGREVISION= 6 CATEGORIES= lang MASTER_SITES= http://www.cis.upenn.edu/~bcpierce/papers/pict/pict-4.1/ -- cgit v1.2.3