diff options
-rw-r--r-- | dev-ml/herelib/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/herelib/herelib-109.35.00.ebuild | 23 | ||||
-rw-r--r-- | dev-ml/herelib/herelib-109.35.02.ebuild | 25 |
3 files changed, 0 insertions, 50 deletions
diff --git a/dev-ml/herelib/Manifest b/dev-ml/herelib/Manifest index 6fc967917a2a..6978098e8f1f 100644 --- a/dev-ml/herelib/Manifest +++ b/dev-ml/herelib/Manifest @@ -1,3 +1 @@ -DIST herelib-109.35.00.tar.gz 44436 SHA256 183853f7e6f88be0884672d5acdc1f8d6aa3c3204d85b6f9b0b984700e0fe079 SHA512 473de2701a2f83d831bb8a0af4aa4bae86f5b6dd30503eaef6715bce5f22b13cefc2f5e333650ea04780d07edad925fbfe13325909da50a28397a9fe4d115fa4 WHIRLPOOL eca71daae788e5ee2cd66a6e25cb3f6d1b956a208459c36026c13ce65788fbdc912cda4457df0d98dfa516c17fbab7fe2fe11fe358df280a935c8abfb4daaafa -DIST herelib-109.35.02.tar.gz 47650 SHA256 7f8394169cb63f6d41e91c9affa1b8ec240d5f6e9dfeda3fbb611df521d4b05a SHA512 2ab68fb4ed5acce2dd0cbbac658743713d6534ae7f215dd8e34f97b0ef94883ffaf68462651473f8f6a0ef95dbf26c21857bf261291c3accab01d094008c4838 WHIRLPOOL ebed805ba8eff3c410368f929845c24b288bea91cce5b89bec6f031b72cac91091666773d44468009716c937a26c175f81be7726239deb0e0e4d662feccf338a DIST herelib-112.35.00.tar.gz 49201 SHA256 7a75969aa27d3ec3d6ec20b93d2c5f459d5aca1021b4fa7f0e0d355be5a5390f SHA512 3b7fe743327e93526858004f90f102e5eb98cc493f22acea3d82e51bf99307679017389680456a143fb6fa9dce0a30bfd69abf90e5f0ea1367ec9c9c0726150f WHIRLPOOL cf9e90dd50a438fd0d01a8fb1fbed0a013284c755a5b01a1220d25d2188b76158b447135a18bcc4236d995d1ef22bbe5b43c9d058c20169bb434c8186b7832f9 diff --git a/dev-ml/herelib/herelib-109.35.00.ebuild b/dev-ml/herelib/herelib-109.35.00.ebuild deleted file mode 100644 index 057bce6a7aea..000000000000 --- a/dev-ml/herelib/herelib-109.35.00.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2013 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 for inserting the current location" -HOMEPAGE="http://www.janestreet.com/ocaml" -SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${MY_P}.tar.gz - https://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -DEPEND=">=dev-lang/ocaml-4.00.0:=" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/${MY_P}" diff --git a/dev-ml/herelib/herelib-109.35.02.ebuild b/dev-ml/herelib/herelib-109.35.02.ebuild deleted file mode 100644 index 844c924d0dba..000000000000 --- a/dev-ml/herelib/herelib-109.35.02.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 for inserting the current location" -HOMEPAGE="http://www.janestreet.com/ocaml" -SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -DEPEND=" - >=dev-lang/ocaml-4.00.0:= - || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) -" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/${MY_P}" |