Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/core/
Date: Fri, 10 Nov 2017 17:42:37
Message-Id: 1510335742.102f5a56ce03a40c1dfd301a1d7209de0496ee9a.aballier@gentoo
1 commit: 102f5a56ce03a40c1dfd301a1d7209de0496ee9a
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Fri Nov 10 16:59:02 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Fri Nov 10 17:42:22 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=102f5a56
7
8 dev-ml/core: bump to 0.9.2
9
10 Package-Manager: Portage-2.3.13, Repoman-2.3.4
11
12 dev-ml/core/Manifest | 1 +
13 dev-ml/core/core-0.9.2.ebuild | 29 +++++++++++++++++++++++++++++
14 2 files changed, 30 insertions(+)
15
16 diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
17 index eccbbd77f0d..651f6960da4 100644
18 --- a/dev-ml/core/Manifest
19 +++ b/dev-ml/core/Manifest
20 @@ -1 +1,2 @@
21 DIST core-0.9.1.tar.gz 735006 SHA256 a8d34b76afd8ad5ac525471e7f01d4291203a4b83b9e3051314af13cb169a3ba SHA512 2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a WHIRLPOOL c6e6a9f2e9f29ad04b5850706f116ae23d2cb26550dc1113653c0c857f9f183a9dc6644121aeff2526ef7fd48a4fadc7b8407d615fe3395cf0f526891aaa6699
22 +DIST core-0.9.2.tar.gz 735027 SHA256 6549b3312f68c84049d3389747406cf41d9c66148b7dc3e2af8563985d2b95df SHA512 8cef59c353ff6f98b11bb007b99a583b64ee23f960a0de6559866c8ab59a58dd3ca4dae16275c87b780494b64ced7aaa24db8f9a6e6d309662e9d9206f04e335 WHIRLPOOL 18df0d7956bd18ac6afb91e9ae60db54937d35083fd48950ef142d0f137ea64adfe8d9241cfae30850afa1baaf26c4d9275748c6ed820e4ddc36862496bbb246
23
24 diff --git a/dev-ml/core/core-0.9.2.ebuild b/dev-ml/core/core-0.9.2.ebuild
25 new file mode 100644
26 index 00000000000..d2dbd9555d3
27 --- /dev/null
28 +++ b/dev-ml/core/core-0.9.2.ebuild
29 @@ -0,0 +1,29 @@
30 +# Copyright 1999-2017 Gentoo Foundation
31 +# Distributed under the terms of the GNU General Public License v2
32 +
33 +EAPI=6
34 +
35 +inherit opam
36 +
37 +DESCRIPTION="Jane Street's alternative to the standard library"
38 +HOMEPAGE="https://github.com/janestreet/core"
39 +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
40 +
41 +LICENSE="Apache-2.0"
42 +SLOT="0/${PV}"
43 +KEYWORDS="~amd64"
44 +IUSE=""
45 +
46 +RDEPEND="
47 + dev-ml/base:=
48 + dev-ml/configurator:=
49 + dev-ml/core_kernel:=
50 + dev-ml/ppx_assert:=
51 + dev-ml/ppx_driver:=
52 + dev-ml/ppx_jane:=
53 + dev-ml/sexplib:=
54 + dev-ml/spawn:=
55 + dev-ml/stdio:=
56 + dev-ml/ocaml-migrate-parsetree:=
57 +"
58 +DEPEND="${RDEPEND} dev-ml/jbuilder"