Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2013-03-06 17:14:02 +0000
committerAlexis Ballier <aballier@gentoo.org>2013-03-06 17:14:02 +0000
commit476b620f25ac839cc5115654e5c2297830a666a8 (patch)
tree1872fb284a080d6f4d0d17c5aed75ddf48519a16 /dev-ml
parentinitial import, ebuild by me (diff)
downloadhistorical-476b620f25ac839cc5115654e5c2297830a666a8.tar.gz
historical-476b620f25ac839cc5115654e5c2297830a666a8.tar.bz2
historical-476b620f25ac839cc5115654e5c2297830a666a8.zip
initial import, ebuild by me
Package-Manager: portage-2.2.0_alpha166/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/async_extra/ChangeLog10
-rw-r--r--dev-ml/async_extra/Manifest14
-rw-r--r--dev-ml/async_extra/async_extra-109.11.00.ebuild34
-rw-r--r--dev-ml/async_extra/metadata.xml5
-rw-r--r--dev-ml/async_unix/ChangeLog10
-rw-r--r--dev-ml/async_unix/Manifest14
-rw-r--r--dev-ml/async_unix/async_unix-109.11.00.ebuild35
-rw-r--r--dev-ml/async_unix/metadata.xml5
8 files changed, 127 insertions, 0 deletions
diff --git a/dev-ml/async_extra/ChangeLog b/dev-ml/async_extra/ChangeLog
new file mode 100644
index 000000000000..3877b44713f8
--- /dev/null
+++ b/dev-ml/async_extra/ChangeLog
@@ -0,0 +1,10 @@
+# ChangeLog for dev-ml/async_extra
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/async_extra/ChangeLog,v 1.1 2013/03/06 17:13:58 aballier Exp $
+
+*async_extra-109.11.00 (06 Mar 2013)
+
+ 06 Mar 2013; Alexis Ballier <aballier@gentoo.org>
+ +async_extra-109.11.00.ebuild, +metadata.xml:
+ initial import, ebuild by me
+
diff --git a/dev-ml/async_extra/Manifest b/dev-ml/async_extra/Manifest
new file mode 100644
index 000000000000..9cb6c67d4bbb
--- /dev/null
+++ b/dev-ml/async_extra/Manifest
@@ -0,0 +1,14 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
+DIST async_extra-109.11.00.tar.gz 101774 SHA256 41d5c4ecafbd431d0cc7ca1119e4e43349c463af03a6ddd475b4d6949243f7c2 SHA512 f9ea08688befb1b3d63b0135234ce6970fe3af98a6147432c089bb380f8380cb8fbe93f44dae3e2dcf26125f32219a20bd0f276f7b503c45575d658f43117c0f WHIRLPOOL 93e1e5d20c7801272abb054f9f2120892ba96af9dfd03fbbb23f7e0b406809cd979119c0953cafcfaa5a299432ecbf543ddbcbd147600ad6a9d49322099dc852
+EBUILD async_extra-109.11.00.ebuild 916 SHA256 1d6221cc51b52f50e5dfca14cde4f354ea3333557d284136ac9d59ae4ec6f3e2 SHA512 f606c3ab55f92c6a537050675f7934cb8e58af568f80700cd75976c6a302c9a3590c70dbfbfa3640591eeba92488b7873b2446f43a28ae6ae37b4f4e87185ef6 WHIRLPOOL cf3bcb99b9db69bb2a3d07c625d79550955bb2085c84522e6a6b30a4236e095c8771fad1fad4acd901450f4a941b4f1dc68c561aa990c9324b8023fc7046e619
+MISC ChangeLog 381 SHA256 d3622111c959ce91fa929ea32565009891eed9d5ea4d17d66c847b3957be9529 SHA512 666419f4d153a2a5f57962927b9cc53fb0fb3a881d71c6783310879a038e5dac126617279b2073470c88f8ed5a92f0af293e567f21bdc74a6ea5259a4ca24d91 WHIRLPOOL f65062859485f06b5bbd8547c1e123636129c8c0652e13d635bc64879031e956b119d14ae89498e6b6e792a95b1d819ef2e1838c3c6a1d67292d26cbb2d09e20
+MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.19 (GNU/Linux)
+
+iEYEAREIAAYFAlE3eVcACgkQvFcC4BYPU0oFEgCgwWk9R+VESxv9SWQxV+3vvTBJ
+NAEAoIgn8bv9lAp+KEK2VRSiuhvzAgfE
+=aL9k
+-----END PGP SIGNATURE-----
diff --git a/dev-ml/async_extra/async_extra-109.11.00.ebuild b/dev-ml/async_extra/async_extra-109.11.00.ebuild
new file mode 100644
index 000000000000..3c9d27b1158c
--- /dev/null
+++ b/dev-ml/async_extra/async_extra-109.11.00.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/async_extra/async_extra-109.11.00.ebuild,v 1.1 2013/03/06 17:13:58 aballier Exp $
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+MY_P=${PN/-/_}-${PV}
+DESCRIPTION="Jane Street Capital's asynchronous execution library (extra)"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${MY_P}.tar.gz
+ http://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:=
+ >=dev-ml/sexplib-${PV}:=
+ >=dev-ml/fieldslib-${PV}:=
+ >=dev-ml/bin-prot-${PV}:=
+ >=dev-ml/pa_ounit-${PV}:=
+ >=dev-ml/pipebang-${PV}:=
+ >=dev-ml/core-${PV}:=
+ >=dev-ml/async_core-${PV}:=
+ >=dev-ml/async_unix-${PV}:=
+ "
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/async_extra/metadata.xml b/dev-ml/async_extra/metadata.xml
new file mode 100644
index 000000000000..2193d772e351
--- /dev/null
+++ b/dev-ml/async_extra/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>ml</herd>
+</pkgmetadata>
diff --git a/dev-ml/async_unix/ChangeLog b/dev-ml/async_unix/ChangeLog
new file mode 100644
index 000000000000..7c52512dfc54
--- /dev/null
+++ b/dev-ml/async_unix/ChangeLog
@@ -0,0 +1,10 @@
+# ChangeLog for dev-ml/async_unix
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/async_unix/ChangeLog,v 1.1 2013/03/06 17:09:07 aballier Exp $
+
+*async_unix-109.11.00 (06 Mar 2013)
+
+ 06 Mar 2013; Alexis Ballier <aballier@gentoo.org>
+ +async_unix-109.11.00.ebuild, +metadata.xml:
+ initial import, ebuild by me
+
diff --git a/dev-ml/async_unix/Manifest b/dev-ml/async_unix/Manifest
new file mode 100644
index 000000000000..af2f94b62a46
--- /dev/null
+++ b/dev-ml/async_unix/Manifest
@@ -0,0 +1,14 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
+DIST async_unix-109.11.00.tar.gz 115500 SHA256 99dc94a2ef2bc082e4981aa6ee7ea210bdbacd042d390191facf727bf330c244 SHA512 e2f492e68ab9527d5a519bfa1a0ff1d394e24557866659abfb007b17bd0351ff3236f27a9ed783049eabd55193e397920ba6292efba468ada4b0ef7eccdfb200 WHIRLPOOL d790d7bb35101fee084d05d8db09b6e408e120b2e8f9f084f37d292a1cfc2a174d6d8db3dde395ff1ea40191181a4b6c671f1365a3de87475e482867bc09d6c7
+EBUILD async_unix-109.11.00.ebuild 939 SHA256 1de0b1522c3321194ec0ab0c5ae9ae7246a3efc7b50909f5e134f43b0aa4d12e SHA512 4a0adb05532b71bacd0682c2c6bbf2c8ce8821a65888cd6872f8824766b0397a21192989dbd9940709fb944ffc6199eca7a55d96a8ca427588d1a14931422140 WHIRLPOOL 1b975e47b4b59d1b1ccc78cb3d19b93810dc7da8117cb5e2899cb39ed20dbce5dcdad139020770210e22cb532311ea0f83df10da3b99140e639337755dcc7c43
+MISC ChangeLog 377 SHA256 f37674b1601cee2fdcf431ea5b907ca273476aaca45e4c4bb52da96a9cfa4a2c SHA512 8d79849ff5b6ad1319c55e146744bd493a7f3aa7d3b5074c4f6008da8e40c9854da7300c106f5029fbc2b82283e8972afd62905943b9493ef4d8c0608d04df45 WHIRLPOOL cc5ec31a4b8b80a25f5cd303839a7971f51e2a4bec971630a5f3ffe42d88c2b4f83432ddbd6ce1a590eae4361147250711b1ce36c69ad7006d06e485a46d2bb9
+MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.19 (GNU/Linux)
+
+iEYEAREIAAYFAlE3eDQACgkQvFcC4BYPU0rvVQCgxm6iGxzuOY7I5tZZy4UkLcDf
+K8IAn0k3xqU+vqkNRQcAp3PZBoEMDTgJ
+=Z15n
+-----END PGP SIGNATURE-----
diff --git a/dev-ml/async_unix/async_unix-109.11.00.ebuild b/dev-ml/async_unix/async_unix-109.11.00.ebuild
new file mode 100644
index 000000000000..e955b07b52a8
--- /dev/null
+++ b/dev-ml/async_unix/async_unix-109.11.00.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/async_unix/async_unix-109.11.00.ebuild,v 1.1 2013/03/06 17:09:07 aballier Exp $
+
+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}/individual/${MY_P}.tar.gz
+ http://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:=
+ >=dev-ml/sexplib-${PV}:=
+ >=dev-ml/fieldslib-${PV}:=
+ >=dev-ml/bin-prot-${PV}:=
+ >=dev-ml/comparelib-${PV}:=
+ >=dev-ml/herelib-${PV}:=
+ >=dev-ml/pa_ounit-${PV}:=
+ >=dev-ml/pipebang-${PV}:=
+ >=dev-ml/core-${PV}:=
+ >=dev-ml/async_core-${PV}:=
+ "
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/async_unix/metadata.xml b/dev-ml/async_unix/metadata.xml
new file mode 100644
index 000000000000..2193d772e351
--- /dev/null
+++ b/dev-ml/async_unix/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>ml</herd>
+</pkgmetadata>