dev-ml/core_kernel: remove old

Package-Manager: portage-2.2.20.1

4 files changed, 0 insertions, 132 deletions

diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index df81f63fd697..3092c23a3c06 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,4 +1 @@
-DIST core_kernel-112.06.02.tar.gz 452217 SHA256 edb53c71dac1744e4d79c98bb4defc9703b22bc6ed3db6f5efc527ec91febac8 SHA512 36bddbebe943fea14f7e40c55939ee2004aa1b8d28efdea89c29808af5940553c2ea252e21a9c2a6bbb5c7210e24c3d320f67737ac988e6844d1cc4a4d6eeb87 WHIRLPOOL b75d7d165c43af0a8024275583b0dc9d40ce43528f36b9a3896fad5df131afa31b066d6cd78416f84468af60950c2cd7f0713c57a7b11afc6fc559376e5f5545
-DIST core_kernel-112.17.00.tar.gz 458291 SHA256 18aa416e917e84c368f25ecb2e5e11c92e411310476db5ea67fd3352d5ef469c SHA512 6f586dec373d57ff9bc04be1fbaf265c4740a12dffd99ca3909a23056874f402e19ec61f30879f247c44715ccdbbfb1cc8d496256fd512ba78909b956a2ee1a7 WHIRLPOOL 940522269f21380fbd8b3c14151427ce82301f74df16f5499584d85d31dc96e9f6f7f3563a2471c598d0aa601e8678b3a33cdcc524c18c776b0571990162dffb
-DIST core_kernel-112.24.tar.gz 498860 SHA256 93e1f21e35ade98a2bfbe45ba76eef4a8ad3fed97cdc0769f96e0fcc86d6a761 SHA512 2cc54e580dbcdfba76cdaca76531b1d161d85c686b7cae296cb0ef424f8b01da3af19e0b54ea29954dd2fd96ee797360a40a213a11869b11f28891271756cbd3 WHIRLPOOL 964db4c0760835083a1204655be3b7982813b0e2aa59b02a4142e65bc6568737d1b57d2a8cacb0ab33376e3464630cba8b55dcda08ba680142b16961d668fbec
 DIST core_kernel-112.35.00.tar.gz 513245 SHA256 792303cb06fa580c2c0fa25589e19be8f08714850db86d0077b1712bfe0ef662 SHA512 abdc16bb9eea9af7e322e190a0d229f95bb99fdc6f721f485663e59ba16f15cab5a2d2507721e53e71351051268b3f3fe487fc9e1579564020a81d79a1aeb175 WHIRLPOOL 2e7bc43fe1087380f0ae0b5efbce620ecd4e6160d124db14767be65183904b63fb19a9cf13c144e6745a11f1e8694ee1fc9084bcefd7cc36838de118681b8d35
diff --git a/dev-ml/core_kernel/core_kernel-112.06.02.ebuild b/dev-ml/core_kernel/core_kernel-112.06.02.ebuild
deleted file mode 100644
index 79cf21ab9d63..000000000000
--- a/dev-ml/core_kernel/core_kernel-112.06.02.ebuild
+++ /dev/null
@@ -1,45 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit oasis
-
-DESCRIPTION="System-independent part of Core"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${P}.tar.gz
-	https://dev.gentoo.org/~aballier/distfiles/${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-RESTRICT="test"
-
-RDEPEND="
-	>=dev-ml/bin-prot-112.06.00:=
-	>=dev-ml/comparelib-109.27.00:=
-	>=dev-ml/fieldslib-109.20.00:=
-	>=dev-ml/herelib-109.35.00:=
-	>=dev-ml/pa_ounit-109.27.00:=
-	>=dev-ml/pipebang-109.15.00:=
-	>=dev-ml/sexplib-109.20.00:=
-	>=dev-ml/variantslib-109.15.00:=
-	dev-ml/custom_printf:=
-	dev-ml/pa_test:=
-	dev-ml/enumerate:=
-	dev-ml/pa_bench:=
-	>=dev-ml/typerep-111.17:=
-	dev-ml/camlp4:=
-	!dev-ml/zero
-	"
-DEPEND="${RDEPEND}
-	test? (
-		dev-ml/pa_ounit
-		>=dev-ml/core-109.60.00
-	)"
-DOCS=( "README.md" )
diff --git a/dev-ml/core_kernel/core_kernel-112.17.00.ebuild b/dev-ml/core_kernel/core_kernel-112.17.00.ebuild
deleted file mode 100644
index 3bf476ce4785..000000000000
--- a/dev-ml/core_kernel/core_kernel-112.17.00.ebuild
+++ /dev/null
@@ -1,42 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit oasis
-
-DESCRIPTION="System-independent part of Core"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-	>=dev-ml/bin-prot-112.17.00:=
-	>=dev-ml/comparelib-109.27.00:=
-	>=dev-ml/fieldslib-109.20.00:=
-	>=dev-ml/herelib-109.35.00:=
-	>=dev-ml/pa_ounit-109.27.00:=
-	>=dev-ml/pipebang-109.15.00:=
-	>=dev-ml/sexplib-109.20.00:=
-	>=dev-ml/variantslib-109.15.00:=
-	dev-ml/pa_test:=
-	dev-ml/enumerate:=
-	dev-ml/pa_bench:=
-	>=dev-ml/typerep-111.17:=
-	dev-ml/camlp4:=
-	!dev-ml/zero
-	"
-DEPEND="${RDEPEND}
-	test? (
-		dev-ml/pa_ounit
-		>=dev-ml/core-109.60.00
-	)"
-DOCS=( "README.md" )
diff --git a/dev-ml/core_kernel/core_kernel-112.24.00.ebuild b/dev-ml/core_kernel/core_kernel-112.24.00.ebuild
deleted file mode 100644
index 3f95c6a055ee..000000000000
--- a/dev-ml/core_kernel/core_kernel-112.24.00.ebuild
+++ /dev/null
@@ -1,42 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit oasis
-
-DESCRIPTION="System-independent part of Core"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P%.*}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-	>=dev-ml/bin-prot-112.17.00:=
-	>=dev-ml/comparelib-109.27.00:=
-	>=dev-ml/fieldslib-109.20.00:=
-	>=dev-ml/herelib-109.35.00:=
-	>=dev-ml/pa_ounit-109.27.00:=
-	>=dev-ml/pipebang-109.15.00:=
-	>=dev-ml/sexplib-109.20.00:=
-	>=dev-ml/variantslib-109.15.00:=
-	dev-ml/pa_test:=
-	dev-ml/enumerate:=
-	dev-ml/pa_bench:=
-	>=dev-ml/typerep-111.17:=
-	dev-ml/camlp4:=
-	!dev-ml/zero
-	"
-DEPEND="${RDEPEND}
-	test? (
-		dev-ml/pa_ounit
-		>=dev-ml/core-109.60.00
-	)"
-DOCS=( "README.md" )