summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/pa_bench/Manifest2
-rw-r--r--dev-ml/pa_bench/pa_bench-109.55.02.ebuild24
-rw-r--r--dev-ml/pa_bench/pa_bench-111.28.00.ebuild25
3 files changed, 0 insertions, 51 deletions
diff --git a/dev-ml/pa_bench/Manifest b/dev-ml/pa_bench/Manifest
index 6f159fd0081e..3e7f061e2121 100644
--- a/dev-ml/pa_bench/Manifest
+++ b/dev-ml/pa_bench/Manifest
@@ -1,3 +1 @@
-DIST pa_bench-109.55.02.tar.gz 51237 SHA256 98f0158e0997ab400d182537a6f6bff4ebccf0e14424fa470391b17c2e1e5dc8 SHA512 fa129c3d3b1c3a6e6f09f43751eba8cb4bb775b6a1b2031249507c05538364710844d0d6efc58b283552980629d0f2a2189b75aa24d58daa8d8ce12883f2ee89 WHIRLPOOL f0b81d9c6ac377684adc0a86b91042a1ce1ba2d15cd9f86093cd58d44f90d8917807c9ebc460b577251d8194a97ae06561e51de22ccb586ba53518809fbd26e3
-DIST pa_bench-111.28.00.tar.gz 53158 SHA256 2cbb6fca9ba8889c97236e05d92451cf3880aabbe4430519d131f5f68d80f4f3 SHA512 0eb7af5e2db9889dcbae244569a3cd5c5f631e7abc70684056f1c11d8702225f16e954d79e98ec373af424819183aa33835a8b70cb14fe544ffc475e98684ef1 WHIRLPOOL 5a7b32062b9599b5d25c1b34009e47d899a33a4ea092aa10de9f896bcedf0dfc4766872b4155cb11e4a4ef0319aec26b2f1ac8082e54f59762e7ff3cc3ee2177
DIST pa_bench-112.06.00.tar.gz 54371 SHA256 e3401e37f1d3d4acb957fd46a192d0ffcefeb0bedee63bbeb26969af1d540870 SHA512 1e75c5b765051357f17bfe1213af16174a07903da7c9ecff3ce937227385d815c25f6430f103be3b65b69ba0d7a3a22051ef7bf28d577cf26e87c3a628040fdc WHIRLPOOL c2453c243590bbea85cba7ac3c85b6ffc245ec157bfa453d2c0b787961b72a759b7f845a40ec67d114c7ebf5f18e4677ab34743bd7e3cc05c31b0d85e5dbde79
diff --git a/dev-ml/pa_bench/pa_bench-109.55.02.ebuild b/dev-ml/pa_bench/pa_bench-109.55.02.ebuild
deleted file mode 100644
index 1315ede59957..000000000000
--- a/dev-ml/pa_bench/pa_bench-109.55.02.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Syntax extension writing inline benchmarks"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz
- https://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-ml/type-conv-${PV}:=
- dev-ml/pa_ounit:="
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/pa_bench/pa_bench-111.28.00.ebuild b/dev-ml/pa_bench/pa_bench-111.28.00.ebuild
deleted file mode 100644
index 417f5148dcaf..000000000000
--- a/dev-ml/pa_bench/pa_bench-111.28.00.ebuild
+++ /dev/null
@@ -1,25 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Syntax extension writing inline benchmarks"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz
- https://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-ml/type-conv-109:=
- dev-ml/pa_ounit:=
- || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 )"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"