diff options
Diffstat (limited to 'lang')
-rw-r--r-- | lang/boomerang/Makefile | 4 | ||||
-rw-r--r-- | lang/coq/Makefile | 4 | ||||
-rw-r--r-- | lang/pict/Makefile | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/lang/boomerang/Makefile b/lang/boomerang/Makefile index 412694dbd92..fa6e99aa6b4 100644 --- a/lang/boomerang/Makefile +++ b/lang/boomerang/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.9 2015/06/30 11:53:00 jaapb Exp $ +# $NetBSD: Makefile,v 1.10 2015/08/07 11:20:34 jaapb Exp $ # DISTNAME= boomerang-0.2-source PKGNAME= ${DISTNAME:S/-source//} -PKGREVISION= 6 +PKGREVISION= 7 CATEGORIES= lang MASTER_SITES= http://www.seas.upenn.edu/~harmony/download/ diff --git a/lang/coq/Makefile b/lang/coq/Makefile index e83a0e91262..09ec9fb21c9 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.81 2015/06/30 11:53:00 jaapb Exp $ +# $NetBSD: Makefile,v 1.82 2015/08/07 11:20:34 jaapb Exp $ # DISTNAME= coq-8.4pl6 PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml- -PKGREVISION= 1 +PKGREVISION= 2 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 cc01e90aef9..c3ad9eb4019 100644 --- a/lang/pict/Makefile +++ b/lang/pict/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.10 2015/06/30 11:53:00 jaapb Exp $ +# $NetBSD: Makefile,v 1.11 2015/08/07 11:20:34 jaapb Exp $ DISTNAME= pict-4.1 -PKGREVISION= 6 +PKGREVISION= 7 CATEGORIES= lang MASTER_SITES= http://www.cis.upenn.edu/~bcpierce/papers/pict/pict-4.1/ |