summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2014-01-19 13:57:47 +0000
committerAlexis Ballier <aballier@gentoo.org>2014-01-19 13:57:47 +0000
commitf243ca534fd6ff567dd50a20e02d466667558e00 (patch)
treea7055ad80a25ebcc73cac1a1e79d2a2793b40d23 /dev-ml
parentStable for arm, wrt bug #498172 (diff)
downloadhistorical-f243ca534fd6ff567dd50a20e02d466667558e00.tar.gz
historical-f243ca534fd6ff567dd50a20e02d466667558e00.tar.bz2
historical-f243ca534fd6ff567dd50a20e02d466667558e00.zip
initial import
Package-Manager: portage-2.2.8/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/pa_bench/ChangeLog10
-rw-r--r--dev-ml/pa_bench/Manifest14
-rw-r--r--dev-ml/pa_bench/metadata.xml11
-rw-r--r--dev-ml/pa_bench/pa_bench-109.55.02.ebuild24
-rw-r--r--dev-ml/typerep/ChangeLog10
-rw-r--r--dev-ml/typerep/Manifest14
-rw-r--r--dev-ml/typerep/metadata.xml5
-rw-r--r--dev-ml/typerep/typerep-109.55.02.ebuild25
8 files changed, 113 insertions, 0 deletions
diff --git a/dev-ml/pa_bench/ChangeLog b/dev-ml/pa_bench/ChangeLog
new file mode 100644
index 000000000000..3f065bedac56
--- /dev/null
+++ b/dev-ml/pa_bench/ChangeLog
@@ -0,0 +1,10 @@
+# ChangeLog for dev-ml/pa_bench
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/pa_bench/ChangeLog,v 1.1 2014/01/19 13:53:06 aballier Exp $
+
+*pa_bench-109.55.02 (19 Jan 2014)
+
+ 19 Jan 2014; Alexis Ballier <aballier@gentoo.org> +pa_bench-109.55.02.ebuild,
+ +metadata.xml:
+ initial import
+
diff --git a/dev-ml/pa_bench/Manifest b/dev-ml/pa_bench/Manifest
new file mode 100644
index 000000000000..453f4e2e25bf
--- /dev/null
+++ b/dev-ml/pa_bench/Manifest
@@ -0,0 +1,14 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
+DIST pa_bench-109.55.02.tar.gz 51237 SHA256 98f0158e0997ab400d182537a6f6bff4ebccf0e14424fa470391b17c2e1e5dc8 SHA512 fa129c3d3b1c3a6e6f09f43751eba8cb4bb775b6a1b2031249507c05538364710844d0d6efc58b283552980629d0f2a2189b75aa24d58daa8d8ce12883f2ee89 WHIRLPOOL f0b81d9c6ac377684adc0a86b91042a1ce1ba2d15cd9f86093cd58d44f90d8917807c9ebc460b577251d8194a97ae06561e51de22ccb586ba53518809fbd26e3
+EBUILD pa_bench-109.55.02.ebuild 701 SHA256 be63026a4786fab762769a4f329565fb59222249220c108c38c9f771379a2d83 SHA512 35be8555ed24b20e54298f77a1c2072ee31f0b34c29e6ec9fcfdac9b892410106cf6f4460fb9e1b95fbc4c9e6cafcd108d508fd91880ef024c19a8233af34aa9 WHIRLPOOL da6f977dba8ea765aaf6b9e253cd8f7f1fb09e986942e185f1e732c372c89f3d3ac3f4b61bcd20d825119138e3ca963f6ec038f4d1122727e9548d1699189874
+MISC ChangeLog 355 SHA256 dc2125e3626db484078d47a974d1a96b62c8b8e860f3d583425665fe36f48dc2 SHA512 815f0d12ee6dfd52e32488e9d47305d7ec495795c40f65812434321661f7a94262efc55db6a54168b40d0c606de0d9494c8432603e978be18149847f6136a09e WHIRLPOOL 066ce967417b91905612effc32de33ea8275bbd3fc01336781738d10482f8bf8f37ab4c767a87ef173f8f354c3ba2fa8ec26cf3b7f983e5037688572b8175ccf
+MISC metadata.xml 489 SHA256 b7d80ee14c8c706ef5f534bc64ea13a9403150f5956542ac56a49b8349a70678 SHA512 f524340569060729543de7a3a200d1e41f5eeeec90f8f038a7f2a4fab413ad87c977537c3843eb9916cc7a1856b8dda4b39a2b4f2b3228a1afa4ea7af1b634f0 WHIRLPOOL f4ebbcf607a4e9d0c410e61ec23f4cbfe2b966317fdea2d8fc6870d3c520bf360243330bad1ffc87e455fe14a3c7f496f1fab6dbd88e86f27c372a003f8dcef0
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.22 (GNU/Linux)
+
+iEYEAREIAAYFAlLb2MMACgkQvFcC4BYPU0ojPgCfaSmHwUdg7gBP9i8hd94/5WfZ
+KtoAn00otqoEtWQzkcEATTQVgGOqRyzv
+=Vsol
+-----END PGP SIGNATURE-----
diff --git a/dev-ml/pa_bench/metadata.xml b/dev-ml/pa_bench/metadata.xml
new file mode 100644
index 000000000000..d7fe6e623768
--- /dev/null
+++ b/dev-ml/pa_bench/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>ml</herd>
+ <longdescription lang="en">
+ This library defines a syntax extension for OCaml using Camlp4 that
+ can be used to define first class values representing record fields,
+ and additional routines, to get and set record fields, iterate and fold
+ over all fields of a record and create new record values.
+ </longdescription>
+</pkgmetadata>
diff --git a/dev-ml/pa_bench/pa_bench-109.55.02.ebuild b/dev-ml/pa_bench/pa_bench-109.55.02.ebuild
new file mode 100644
index 000000000000..38eae2fd1a35
--- /dev/null
+++ b/dev-ml/pa_bench/pa_bench-109.55.02.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/pa_bench/pa_bench-109.55.02.ebuild,v 1.1 2014/01/19 13:53:06 aballier Exp $
+
+EAPI="5"
+
+inherit oasis
+
+MY_P=${PN/-/_}-${PV}
+DESCRIPTION="Syntax extension writing inline benchmarks"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz
+ http://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-ml/type-conv-${PV}:=
+ dev-ml/pa_ounit:="
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/typerep/ChangeLog b/dev-ml/typerep/ChangeLog
new file mode 100644
index 000000000000..70e45f76ed3e
--- /dev/null
+++ b/dev-ml/typerep/ChangeLog
@@ -0,0 +1,10 @@
+# ChangeLog for dev-ml/typerep
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/typerep/ChangeLog,v 1.1 2014/01/19 13:57:44 aballier Exp $
+
+*typerep-109.55.02 (19 Jan 2014)
+
+ 19 Jan 2014; Alexis Ballier <aballier@gentoo.org> +typerep-109.55.02.ebuild,
+ +metadata.xml:
+ initial import
+
diff --git a/dev-ml/typerep/Manifest b/dev-ml/typerep/Manifest
new file mode 100644
index 000000000000..eff65922c037
--- /dev/null
+++ b/dev-ml/typerep/Manifest
@@ -0,0 +1,14 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
+DIST typerep-109.55.02.tar.gz 140713 SHA256 dd2c473d416cc0d537aa33c1dfbd9374b93db049b709a8f88563aac8399ea014 SHA512 19e3cd88db93e42ce7a516d83b6fcec623c8ce60a4e02effc2b2221884d8c2d37d20d8f3b63da32bc1f7b9afeda6624c7043f2397579269451d2491f24088d78 WHIRLPOOL 44cb12802660345e1aaff3c0b54d2d317b8e8a9d3a1466ef3ec6940a68652e9cc0efe4b0076d5cf6e50f4cdb4f2d827cf2b1951bf4591d62fdad66625529af64
+EBUILD typerep-109.55.02.ebuild 735 SHA256 309254c326f92dee1af6b67d77b7f0f8daaeaf85a20a9841b8cdb595cdf55f8a SHA512 bcf16c0c9eea27733e66ecc1cc419930524e4ea527c6f24cc002f7f248b5b9a0af9231d0f91266833a71007e5b8795146c10280930651fb4a911f646ee15bb84 WHIRLPOOL d788a5db1f7d05778d6defffb9f525db554460f6e1a0b9ea705565a27e94b28884a0d44aa6f61a0441cddf2118e93c884ccf7958c4c23a5c51731cda304c9d51
+MISC ChangeLog 351 SHA256 ffb5097d116648df2864a87a07b594a21a9477b314cf56776eea4f5bcca6b552 SHA512 9ba3b9ede13ffaf66d0ad332015429246442f59be364f92236fdbef40ad29e83ccca989a041253f6e2dd81068dcb186a111bf28f03fb83aa58f731308fed0f71 WHIRLPOOL 0ea4dd63bbaae9299e1f91cf9c6a4dd57191610eb3fa77013ba1a2f6c1c70800eb13b463977e00974fccb82de9d4d2347b00c2a74e1a028c33447d35d97b9aa4
+MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.22 (GNU/Linux)
+
+iEYEAREIAAYFAlLb2dkACgkQvFcC4BYPU0oHQwCgtZgpqGZWgxfwu8vTphA5HUVJ
+V6EAnAmq9UxjHpCmbQ8jAM+VUrOhjtBF
+=K41G
+-----END PGP SIGNATURE-----
diff --git a/dev-ml/typerep/metadata.xml b/dev-ml/typerep/metadata.xml
new file mode 100644
index 000000000000..2193d772e351
--- /dev/null
+++ b/dev-ml/typerep/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/typerep/typerep-109.55.02.ebuild b/dev-ml/typerep/typerep-109.55.02.ebuild
new file mode 100644
index 000000000000..951c6bc66ee7
--- /dev/null
+++ b/dev-ml/typerep/typerep-109.55.02.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/typerep/typerep-109.55.02.ebuild,v 1.1 2014/01/19 13:57:44 aballier Exp $
+
+EAPI="5"
+
+inherit oasis
+
+MY_P=${PN/-/_}-${PV}
+DESCRIPTION="Library for creating runtime representation of OCaml types"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz
+ http://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND=">=dev-ml/type-conv-${PV}:=
+ dev-ml/sexplib:=
+ dev-ml/bin-prot:="
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${MY_P}"