diff options
Diffstat (limited to 'dev-ml/pa_bench/pa_bench-112.06.00.ebuild')
-rw-r--r-- | dev-ml/pa_bench/pa_bench-112.06.00.ebuild | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/dev-ml/pa_bench/pa_bench-112.06.00.ebuild b/dev-ml/pa_bench/pa_bench-112.06.00.ebuild deleted file mode 100644 index e8fc793b2808..000000000000 --- a/dev-ml/pa_bench/pa_bench-112.06.00.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -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:=" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/${MY_P}" |