diff options
| author | jaapb <jaapb@pkgsrc.org> | 2012-10-08 15:18:20 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2012-10-08 15:18:20 +0000 |
| commit | be0a6937d1d4d8afe95a4c561478fcf402169c83 (patch) | |
| tree | b98494fb517027acfc13afe9768f5ce4bcf2e14b /lang | |
| parent | eabd0884ded03a2dc5785de5cc8f3a3a23e808fb (diff) | |
| download | pkgsrc-be0a6937d1d4d8afe95a4c561478fcf402169c83.tar.gz | |
Revision bump associated with the update of lang/ocaml to version 4.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/boomerang/Makefile | 4 | ||||
| -rw-r--r-- | lang/coq/Makefile | 4 | ||||
| -rw-r--r-- | lang/ocamlduce/Makefile | 3 | ||||
| -rw-r--r-- | lang/pict/Makefile | 4 |
4 files changed, 8 insertions, 7 deletions
diff --git a/lang/boomerang/Makefile b/lang/boomerang/Makefile index eff00cdbd65..9bddb3a43d7 100644 --- a/lang/boomerang/Makefile +++ b/lang/boomerang/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.3 2012/10/02 20:11:36 asau Exp $ +# $NetBSD: Makefile,v 1.4 2012/10/08 15:18:22 jaapb Exp $ # DISTNAME= boomerang-0.2-source PKGNAME= ${DISTNAME:S/-source//} -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang MASTER_SITES= http://www.seas.upenn.edu/~harmony/download/ diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 173aad8c678..157547140ac 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.48 2012/10/02 20:11:37 asau Exp $ +# $NetBSD: Makefile,v 1.49 2012/10/08 15:18:22 jaapb Exp $ # DISTNAME= coq-8.3pl1 -PKGREVISION= 14 +PKGREVISION= 15 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V8.3pl1/files/ diff --git a/lang/ocamlduce/Makefile b/lang/ocamlduce/Makefile index dbd09b9fa7a..b69e3452ddc 100644 --- a/lang/ocamlduce/Makefile +++ b/lang/ocamlduce/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.11 2012/10/02 20:11:46 asau Exp $ +# $NetBSD: Makefile,v 1.12 2012/10/08 15:18:22 jaapb Exp $ # DISTNAME= ocamlduce-3.12.1.0 +PKGREVISION= 1 CATEGORIES= lang MASTER_SITES= http://forge.ocamlcore.org/frs/download.php/644/ DISTFILES= ${DISTNAME}${EXTRACT_SUFX} diff --git a/lang/pict/Makefile b/lang/pict/Makefile index 000e5fd8c5a..14e4c1ddb94 100644 --- a/lang/pict/Makefile +++ b/lang/pict/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.5 2012/10/02 20:11:49 asau Exp $ +# $NetBSD: Makefile,v 1.6 2012/10/08 15:18:23 jaapb Exp $ DISTNAME= pict-4.1 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang MASTER_SITES= http://www.cis.upenn.edu/~bcpierce/papers/pict/pict-4.1/ |