summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/async_unix/Manifest2
-rw-r--r--dev-ml/async_unix/async_unix-112.17.00.ebuild36
-rw-r--r--dev-ml/async_unix/async_unix-112.24.00.ebuild36
3 files changed, 0 insertions, 74 deletions
diff --git a/dev-ml/async_unix/Manifest b/dev-ml/async_unix/Manifest
index ecc3c2deebd8..742050411a2b 100644
--- a/dev-ml/async_unix/Manifest
+++ b/dev-ml/async_unix/Manifest
@@ -1,3 +1 @@
-DIST async_unix-112.17.00.tar.gz 158831 SHA256 45ef956f6d16190c50c78a6475b31289d6101f0c6bc67926fcd1d900eac373cb SHA512 b4c17418b2eb56c5ba7a56ec455c18656616f6dfc6d2b6b62e6b34dcd0670e5954d302c1568a8de72c55925e6b9699fe1865f5be4b6210b9091d81f03c9e0527 WHIRLPOOL ecbe09529171a991e09d08a76c8c4546ef3bd0ca4bac2eda243b38426e135c0a08c208e9ddd2676ecbbff2229f5130d963a9b9939ace4f2319cb830145969767
-DIST async_unix-112.24.tar.gz 159597 SHA256 d490b1dc42f0987a131fa9695b55f215ad90cdaffbfac35b7f9f88f3834337ab SHA512 a6f7e2ce9e9c0e7d467b3cda1886f40f2580e7aa047bf0b772a9faf538f1398562123bf656563651d4feda983fdaa35592d2255deddc7d1a24b6dabc01c9bacf WHIRLPOOL 7503b29e307574eb9fd14d131311886c06f3d3744171533dcbe84fb5ca756613faccfa823e51523bfd1da478704e49e7cae1d0b9c329e6f365c62ec0a1d7c21d
DIST async_unix-112.35.00.tar.gz 161466 SHA256 111e38994b46a4b5ec141ef23fa556275a75c4c91c7ca576efeefdc301b303c4 SHA512 56e7d1a56f5c28ed4e1e23da6193dfc0481cf44960c7daf6b548980281113ca62be0e560502f7f006200bba59f2efff0d4066582a2872e8063fa64be0ce360c9 WHIRLPOOL 13fa515f7d554070de2d1aca654ae245961c85ad7b074c9aca9c8ec0998e2e04b3458e601d8726ea7e62201152d5f2bdefd63144bad8298f399e6021dc58d969
diff --git a/dev-ml/async_unix/async_unix-112.17.00.ebuild b/dev-ml/async_unix/async_unix-112.17.00.ebuild
deleted file mode 100644
index c78eb8451913..000000000000
--- a/dev-ml/async_unix/async_unix-112.17.00.ebuild
+++ /dev/null
@@ -1,36 +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
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Jane Street Capital's asynchronous execution library (unix)"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${MY_P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-lang/ocaml-4.00.0:=
- >=dev-ml/bin-prot-109.15.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/herelib-109.15.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/pipebang-109.15.00:=
- >=dev-ml/core-${PV}:=
- >=dev-ml/async_kernel-${PV}:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/fieldslib-109.20.00:=
- dev-ml/pa_test:=
- dev-ml/camlp4:=
- "
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/async_unix/async_unix-112.24.00.ebuild b/dev-ml/async_unix/async_unix-112.24.00.ebuild
deleted file mode 100644
index 9550fa5cb6ca..000000000000
--- a/dev-ml/async_unix/async_unix-112.24.00.ebuild
+++ /dev/null
@@ -1,36 +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
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Jane Street Capital's asynchronous execution library (unix)"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${MY_P%.*}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-lang/ocaml-4.00.0:=
- >=dev-ml/bin-prot-109.15.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/herelib-109.15.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/pipebang-109.15.00:=
- >=dev-ml/core-${PV}:=
- >=dev-ml/async_kernel-${PV}:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/fieldslib-109.20.00:=
- dev-ml/pa_test:=
- dev-ml/camlp4:=
- "
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"