summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/core')
-rw-r--r--dev-ml/core/Manifest2
-rw-r--r--dev-ml/core/core-112.35.01.ebuild41
-rw-r--r--dev-ml/core/core-113.00.00.ebuild41
3 files changed, 0 insertions, 84 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index f08d6024d005..6b5c04552fbf 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,3 +1 @@
-DIST core-112.35.01.tar.gz 755869 SHA256 a0d16dc660671d38226af704748f182bb87c0be9282e24766c42a8b18082d2a6 SHA512 d0a1f5fb5eb40f75d6f87fcfb184835f365095cf998fdeef98a6f8d3335dd0afff8cee5600e295b35e2e08ac178033acc11784b1c73d476a7ebbd497b0bde84e WHIRLPOOL 4022bbf5fb3f888ad7b09de792312884d9e0bc23691bbde69d52f96bf3569713be7cf8e5ece4d18600964efe36b9e437be65bed17b7e471b7e948d02f27f5da1
-DIST core-113.00.00.tar.gz 770356 SHA256 5d6f948237c7eef3b2bd36b7e51994f36a1b9bbc315bbd7d41d299ad8221b7f3 SHA512 9a10114255b3d150990c21c39c3e14413a8484124456ee51a18b28b4af6e45e17f877c2ebabcad97152bd5eae702f9e4bcdc1baa2a293dd3d7cdb666423aa807 WHIRLPOOL 87ded5d0de0a030b05815a899bafcb40d430331824e8ed6ad209b416e95222956ee662143a310c15aa3944d3e1e8822f1035ef48883fba8b74be9daedbbbb0f8
DIST core-113.24.00.tar.gz 806394 SHA256 66ab36a4d7b78a4710f992c670777919ae329dcbe107f270239a2215d87dce81 SHA512 ec3682ed9bb15d2bf8f9063930249f3657b34a3edda1a3b69bfcf5d50cd9d59fb6fbbc795d01a695da0897bb2673c80449972de80f4b4f60df9bab831ee1d5d4 WHIRLPOOL c5381a69901d9adc87b9814fa8cd9547ba4898a0536a634f48cee3dbdb0b3bb15c6ef2c834767047a1f8d40a1517771a0d6b79014fc4b2c9d937014c603f97a3
diff --git a/dev-ml/core/core-112.35.01.ebuild b/dev-ml/core/core-112.35.01.ebuild
deleted file mode 100644
index 9cc79dd08218..000000000000
--- a/dev-ml/core/core-112.35.01.ebuild
+++ /dev/null
@@ -1,41 +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 eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-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/core_kernel-109.35.00:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/bin-prot-109.15.00:=
- >=dev-ml/fieldslib-109.20.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/variantslib-109.15.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/herelib-109.35.00:=
- >=dev-ml/pipebang-109.15.00:=
- dev-ml/custom_printf:=
- dev-ml/pa_bench:=
- dev-ml/pa_test:=
- dev-ml/enumerate:=
- dev-ml/camlp4:=
- dev-ml/pa_structural_sexp:=
- "
-DEPEND="${RDEPEND}
- test? ( >=dev-ml/ounit-1.1.2 )"
-DOCS=( "README.md" )
diff --git a/dev-ml/core/core-113.00.00.ebuild b/dev-ml/core/core-113.00.00.ebuild
deleted file mode 100644
index 9cc79dd08218..000000000000
--- a/dev-ml/core/core-113.00.00.ebuild
+++ /dev/null
@@ -1,41 +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 eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-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/core_kernel-109.35.00:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/bin-prot-109.15.00:=
- >=dev-ml/fieldslib-109.20.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/variantslib-109.15.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/herelib-109.35.00:=
- >=dev-ml/pipebang-109.15.00:=
- dev-ml/custom_printf:=
- dev-ml/pa_bench:=
- dev-ml/pa_test:=
- dev-ml/enumerate:=
- dev-ml/camlp4:=
- dev-ml/pa_structural_sexp:=
- "
-DEPEND="${RDEPEND}
- test? ( >=dev-ml/ounit-1.1.2 )"
-DOCS=( "README.md" )