* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2015-09-04 16:34 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2015-09-04 16:34 UTC (permalink / raw
To: gentoo-commits
commit: cc3f4c118be20bf8a1e764aee622e45c76afb6fb
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 4 15:10:36 2015 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Sep 4 16:32:03 2015 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc3f4c11
dev-ml/core_kernel: remove old
Package-Manager: portage-2.2.20.1
dev-ml/core_kernel/Manifest | 3 --
dev-ml/core_kernel/core_kernel-112.06.02.ebuild | 45 -------------------------
dev-ml/core_kernel/core_kernel-112.17.00.ebuild | 42 -----------------------
dev-ml/core_kernel/core_kernel-112.24.00.ebuild | 42 -----------------------
4 files changed, 132 deletions(-)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index df81f63..3092c23 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,4 +1 @@
-DIST core_kernel-112.06.02.tar.gz 452217 SHA256 edb53c71dac1744e4d79c98bb4defc9703b22bc6ed3db6f5efc527ec91febac8 SHA512 36bddbebe943fea14f7e40c55939ee2004aa1b8d28efdea89c29808af5940553c2ea252e21a9c2a6bbb5c7210e24c3d320f67737ac988e6844d1cc4a4d6eeb87 WHIRLPOOL b75d7d165c43af0a8024275583b0dc9d40ce43528f36b9a3896fad5df131afa31b066d6cd78416f84468af60950c2cd7f0713c57a7b11afc6fc559376e5f5545
-DIST core_kernel-112.17.00.tar.gz 458291 SHA256 18aa416e917e84c368f25ecb2e5e11c92e411310476db5ea67fd3352d5ef469c SHA512 6f586dec373d57ff9bc04be1fbaf265c4740a12dffd99ca3909a23056874f402e19ec61f30879f247c44715ccdbbfb1cc8d496256fd512ba78909b956a2ee1a7 WHIRLPOOL 940522269f21380fbd8b3c14151427ce82301f74df16f5499584d85d31dc96e9f6f7f3563a2471c598d0aa601e8678b3a33cdcc524c18c776b0571990162dffb
-DIST core_kernel-112.24.tar.gz 498860 SHA256 93e1f21e35ade98a2bfbe45ba76eef4a8ad3fed97cdc0769f96e0fcc86d6a761 SHA512 2cc54e580dbcdfba76cdaca76531b1d161d85c686b7cae296cb0ef424f8b01da3af19e0b54ea29954dd2fd96ee797360a40a213a11869b11f28891271756cbd3 WHIRLPOOL 964db4c0760835083a1204655be3b7982813b0e2aa59b02a4142e65bc6568737d1b57d2a8cacb0ab33376e3464630cba8b55dcda08ba680142b16961d668fbec
DIST core_kernel-112.35.00.tar.gz 513245 SHA256 792303cb06fa580c2c0fa25589e19be8f08714850db86d0077b1712bfe0ef662 SHA512 abdc16bb9eea9af7e322e190a0d229f95bb99fdc6f721f485663e59ba16f15cab5a2d2507721e53e71351051268b3f3fe487fc9e1579564020a81d79a1aeb175 WHIRLPOOL 2e7bc43fe1087380f0ae0b5efbce620ecd4e6160d124db14767be65183904b63fb19a9cf13c144e6745a11f1e8694ee1fc9084bcefd7cc36838de118681b8d35
diff --git a/dev-ml/core_kernel/core_kernel-112.06.02.ebuild b/dev-ml/core_kernel/core_kernel-112.06.02.ebuild
deleted file mode 100644
index 79cf21a..0000000
--- a/dev-ml/core_kernel/core_kernel-112.06.02.ebuild
+++ /dev/null
@@ -1,45 +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 oasis
-
-DESCRIPTION="System-independent part of Core"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${P}.tar.gz
- https://dev.gentoo.org/~aballier/distfiles/${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-RESTRICT="test"
-
-RDEPEND="
- >=dev-ml/bin-prot-112.06.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/fieldslib-109.20.00:=
- >=dev-ml/herelib-109.35.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/pipebang-109.15.00:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- dev-ml/custom_printf:=
- dev-ml/pa_test:=
- dev-ml/enumerate:=
- dev-ml/pa_bench:=
- >=dev-ml/typerep-111.17:=
- dev-ml/camlp4:=
- !dev-ml/zero
- "
-DEPEND="${RDEPEND}
- test? (
- dev-ml/pa_ounit
- >=dev-ml/core-109.60.00
- )"
-DOCS=( "README.md" )
diff --git a/dev-ml/core_kernel/core_kernel-112.17.00.ebuild b/dev-ml/core_kernel/core_kernel-112.17.00.ebuild
deleted file mode 100644
index 3bf476c..0000000
--- a/dev-ml/core_kernel/core_kernel-112.17.00.ebuild
+++ /dev/null
@@ -1,42 +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 oasis
-
-DESCRIPTION="System-independent part of Core"
-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/bin-prot-112.17.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/fieldslib-109.20.00:=
- >=dev-ml/herelib-109.35.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/pipebang-109.15.00:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- dev-ml/pa_test:=
- dev-ml/enumerate:=
- dev-ml/pa_bench:=
- >=dev-ml/typerep-111.17:=
- dev-ml/camlp4:=
- !dev-ml/zero
- "
-DEPEND="${RDEPEND}
- test? (
- dev-ml/pa_ounit
- >=dev-ml/core-109.60.00
- )"
-DOCS=( "README.md" )
diff --git a/dev-ml/core_kernel/core_kernel-112.24.00.ebuild b/dev-ml/core_kernel/core_kernel-112.24.00.ebuild
deleted file mode 100644
index 3f95c6a..0000000
--- a/dev-ml/core_kernel/core_kernel-112.24.00.ebuild
+++ /dev/null
@@ -1,42 +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 oasis
-
-DESCRIPTION="System-independent part of Core"
-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/bin-prot-112.17.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/fieldslib-109.20.00:=
- >=dev-ml/herelib-109.35.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/pipebang-109.15.00:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- dev-ml/pa_test:=
- dev-ml/enumerate:=
- dev-ml/pa_bench:=
- >=dev-ml/typerep-111.17:=
- dev-ml/camlp4:=
- !dev-ml/zero
- "
-DEPEND="${RDEPEND}
- test? (
- dev-ml/pa_ounit
- >=dev-ml/core-109.60.00
- )"
-DOCS=( "README.md" )
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2015-09-04 17:06 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2015-09-04 17:06 UTC (permalink / raw
To: gentoo-commits
commit: 9b49e69f3d2846c7921bf3ad2c42befc0b98c77f
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 4 17:06:11 2015 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Sep 4 17:06:31 2015 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b49e69f
dev-ml/core_kernel: add missing dep on dev-ml/custom_printf. Bug #559196.
Package-Manager: portage-2.2.20.1
dev-ml/core_kernel/core_kernel-112.35.00.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-ml/core_kernel/core_kernel-112.35.00.ebuild b/dev-ml/core_kernel/core_kernel-112.35.00.ebuild
index 3bf476c..9c8dd91 100644
--- a/dev-ml/core_kernel/core_kernel-112.35.00.ebuild
+++ b/dev-ml/core_kernel/core_kernel-112.35.00.ebuild
@@ -27,6 +27,7 @@ RDEPEND="
>=dev-ml/pipebang-109.15.00:=
>=dev-ml/sexplib-109.20.00:=
>=dev-ml/variantslib-109.15.00:=
+ dev-ml/custom_printf:=
dev-ml/pa_test:=
dev-ml/enumerate:=
dev-ml/pa_bench:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2015-09-19 14:03 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2015-09-19 14:03 UTC (permalink / raw
To: gentoo-commits
commit: e81419b410b209bb014c89f9afee27b275f22834
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 19 13:14:05 2015 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sat Sep 19 14:03:05 2015 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e81419b4
dev-ml/core_kernel: bump to 113.00.00
Package-Manager: portage-2.2.20.1
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-113.00.00.ebuild | 43 +++++++++++++++++++++++++
2 files changed, 44 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 3092c23..f6126d4 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1 +1,2 @@
DIST core_kernel-112.35.00.tar.gz 513245 SHA256 792303cb06fa580c2c0fa25589e19be8f08714850db86d0077b1712bfe0ef662 SHA512 abdc16bb9eea9af7e322e190a0d229f95bb99fdc6f721f485663e59ba16f15cab5a2d2507721e53e71351051268b3f3fe487fc9e1579564020a81d79a1aeb175 WHIRLPOOL 2e7bc43fe1087380f0ae0b5efbce620ecd4e6160d124db14767be65183904b63fb19a9cf13c144e6745a11f1e8694ee1fc9084bcefd7cc36838de118681b8d35
+DIST core_kernel-113.00.00.tar.gz 559351 SHA256 002d3e74c450bfcec90ac37a337ddad7891d88d85555f9ca28384fca06feb191 SHA512 849480eae9f624a4527506d0a1fb3cfb42b4bd0a875bec52465913a5c123558bff6fc03c219b8c69445e1e8b4a61752decd90a5a2c815afb764cd24f962ed401 WHIRLPOOL a1b428572bc12ec57f2546f8209db677cae9dee52e42277b4cc443b33a51907441e4105c7055d31fb08d24b3ba79165b973d5f9cda031d3c56f88cd8eabe5adf
diff --git a/dev-ml/core_kernel/core_kernel-113.00.00.ebuild b/dev-ml/core_kernel/core_kernel-113.00.00.ebuild
new file mode 100644
index 0000000..9c8dd91
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-113.00.00.ebuild
@@ -0,0 +1,43 @@
+# 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 oasis
+
+DESCRIPTION="System-independent part of Core"
+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/bin-prot-112.17.00:=
+ >=dev-ml/comparelib-109.27.00:=
+ >=dev-ml/fieldslib-109.20.00:=
+ >=dev-ml/herelib-109.35.00:=
+ >=dev-ml/pa_ounit-109.27.00:=
+ >=dev-ml/pipebang-109.15.00:=
+ >=dev-ml/sexplib-109.20.00:=
+ >=dev-ml/variantslib-109.15.00:=
+ dev-ml/custom_printf:=
+ dev-ml/pa_test:=
+ dev-ml/enumerate:=
+ dev-ml/pa_bench:=
+ >=dev-ml/typerep-111.17:=
+ dev-ml/camlp4:=
+ !dev-ml/zero
+ "
+DEPEND="${RDEPEND}
+ test? (
+ dev-ml/pa_ounit
+ >=dev-ml/core-109.60.00
+ )"
+DOCS=( "README.md" )
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2016-02-05 20:59 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2016-02-05 20:59 UTC (permalink / raw
To: gentoo-commits
commit: 74dc258241c59dabb6da3df65588c37ff02c8b71
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 5 19:51:39 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Feb 5 20:59:02 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=74dc2582
dev-ml/core_kernel: remove old
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 2 --
dev-ml/core_kernel/core_kernel-112.35.00.ebuild | 43 -------------------------
dev-ml/core_kernel/core_kernel-113.00.00.ebuild | 43 -------------------------
3 files changed, 88 deletions(-)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index e01b7e6..b8af625 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,3 +1 @@
-DIST core_kernel-112.35.00.tar.gz 513245 SHA256 792303cb06fa580c2c0fa25589e19be8f08714850db86d0077b1712bfe0ef662 SHA512 abdc16bb9eea9af7e322e190a0d229f95bb99fdc6f721f485663e59ba16f15cab5a2d2507721e53e71351051268b3f3fe487fc9e1579564020a81d79a1aeb175 WHIRLPOOL 2e7bc43fe1087380f0ae0b5efbce620ecd4e6160d124db14767be65183904b63fb19a9cf13c144e6745a11f1e8694ee1fc9084bcefd7cc36838de118681b8d35
-DIST core_kernel-113.00.00.tar.gz 559351 SHA256 002d3e74c450bfcec90ac37a337ddad7891d88d85555f9ca28384fca06feb191 SHA512 849480eae9f624a4527506d0a1fb3cfb42b4bd0a875bec52465913a5c123558bff6fc03c219b8c69445e1e8b4a61752decd90a5a2c815afb764cd24f962ed401 WHIRLPOOL a1b428572bc12ec57f2546f8209db677cae9dee52e42277b4cc443b33a51907441e4105c7055d31fb08d24b3ba79165b973d5f9cda031d3c56f88cd8eabe5adf
DIST core_kernel-113.24.00.tar.gz 647874 SHA256 e245cddd9bdf847a4f9c1d88922bbf567b0badc30ce9acec3933ae515acc68c6 SHA512 6cdf8f400d689fb2501d2dcedb9b287dd3ac5edb4bb8a6310f1ca92c8370f3b38ab1b68791a61034c21cb101c6f390f876fc340fde46c901a2161fa11b2d3f1f WHIRLPOOL 6d2908aa37a56342019e1fd53f845c824b61b73ffdfe66adb901b5f263a53b880ec389329897df585178fd049a8196140ce8a0f51622f51b156e210171ee863b
diff --git a/dev-ml/core_kernel/core_kernel-112.35.00.ebuild b/dev-ml/core_kernel/core_kernel-112.35.00.ebuild
deleted file mode 100644
index 9c8dd91..0000000
--- a/dev-ml/core_kernel/core_kernel-112.35.00.ebuild
+++ /dev/null
@@ -1,43 +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 oasis
-
-DESCRIPTION="System-independent part of Core"
-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/bin-prot-112.17.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/fieldslib-109.20.00:=
- >=dev-ml/herelib-109.35.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/pipebang-109.15.00:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- dev-ml/custom_printf:=
- dev-ml/pa_test:=
- dev-ml/enumerate:=
- dev-ml/pa_bench:=
- >=dev-ml/typerep-111.17:=
- dev-ml/camlp4:=
- !dev-ml/zero
- "
-DEPEND="${RDEPEND}
- test? (
- dev-ml/pa_ounit
- >=dev-ml/core-109.60.00
- )"
-DOCS=( "README.md" )
diff --git a/dev-ml/core_kernel/core_kernel-113.00.00.ebuild b/dev-ml/core_kernel/core_kernel-113.00.00.ebuild
deleted file mode 100644
index 9c8dd91..0000000
--- a/dev-ml/core_kernel/core_kernel-113.00.00.ebuild
+++ /dev/null
@@ -1,43 +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 oasis
-
-DESCRIPTION="System-independent part of Core"
-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/bin-prot-112.17.00:=
- >=dev-ml/comparelib-109.27.00:=
- >=dev-ml/fieldslib-109.20.00:=
- >=dev-ml/herelib-109.35.00:=
- >=dev-ml/pa_ounit-109.27.00:=
- >=dev-ml/pipebang-109.15.00:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- dev-ml/custom_printf:=
- dev-ml/pa_test:=
- dev-ml/enumerate:=
- dev-ml/pa_bench:=
- >=dev-ml/typerep-111.17:=
- dev-ml/camlp4:=
- !dev-ml/zero
- "
-DEPEND="${RDEPEND}
- test? (
- dev-ml/pa_ounit
- >=dev-ml/core-109.60.00
- )"
-DOCS=( "README.md" )
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2016-03-22 10:56 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2016-03-22 10:56 UTC (permalink / raw
To: gentoo-commits
commit: 2ea56cf7433553e18c25058d0a7ccd354963730b
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 22 10:22:46 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Mar 22 10:55:34 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ea56cf7
dev-ml/core_kernel: bump to 113.33.00
Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-113.33.00.ebuild | 53 +++++++++++++++++++++++++
2 files changed, 54 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index b8af625..9f595b4 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1 +1,2 @@
DIST core_kernel-113.24.00.tar.gz 647874 SHA256 e245cddd9bdf847a4f9c1d88922bbf567b0badc30ce9acec3933ae515acc68c6 SHA512 6cdf8f400d689fb2501d2dcedb9b287dd3ac5edb4bb8a6310f1ca92c8370f3b38ab1b68791a61034c21cb101c6f390f876fc340fde46c901a2161fa11b2d3f1f WHIRLPOOL 6d2908aa37a56342019e1fd53f845c824b61b73ffdfe66adb901b5f263a53b880ec389329897df585178fd049a8196140ce8a0f51622f51b156e210171ee863b
+DIST core_kernel-113.33.00.tar.gz 663386 SHA256 2c24033532c88c6e2d8e77bac650e7398b9ec67dbdd76e8b8a10f45f6d9c64e0 SHA512 f9ddb9e23b6a98b5c47714d90aeec96b495231bcd088a73a37cb40d841a1a230aa6647e2b97f8509e11f0f6f8704c459bd3d5f2ade569018d85a4e083fc2bad3 WHIRLPOOL 4e52a336ce57ae0756fe0f45b4a3930ff40385fcf58df4edcf1c552e8c8f5f80410b2583c97e87e0577f1da3f55eecc4930c73ba3dcc62c9134d97618424159b
diff --git a/dev-ml/core_kernel/core_kernel-113.33.00.ebuild b/dev-ml/core_kernel/core_kernel-113.33.00.ebuild
new file mode 100644
index 0000000..7777667
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-113.33.00.ebuild
@@ -0,0 +1,53 @@
+# 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 oasis
+
+DESCRIPTION="System-independent part of Core"
+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/bin-prot-112.17.00:=
+ >=dev-ml/fieldslib-109.20.00:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_bench:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_expect:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_jane:=
+ >=dev-ml/sexplib-109.20.00:=
+ >=dev-ml/variantslib-109.15.00:=
+ >=dev-ml/typerep-111.17:=
+ dev-ml/result:=
+ "
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ emake setup.exe
+ OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
+}
+
+src_compile() {
+ emake
+}
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+ dodoc CHANGES.md
+}
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2016-03-23 13:59 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2016-03-23 13:59 UTC (permalink / raw
To: gentoo-commits
commit: 50f523e691547251dc60e21641f9f8b28d02c542
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 23 13:25:45 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Wed Mar 23 13:58:27 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=50f523e6
dev-ml/core_kernel: bump to 113.33.01
Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-113.33.01.ebuild | 53 +++++++++++++++++++++++++
2 files changed, 54 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 9f595b4..b89e4dc 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,2 +1,3 @@
DIST core_kernel-113.24.00.tar.gz 647874 SHA256 e245cddd9bdf847a4f9c1d88922bbf567b0badc30ce9acec3933ae515acc68c6 SHA512 6cdf8f400d689fb2501d2dcedb9b287dd3ac5edb4bb8a6310f1ca92c8370f3b38ab1b68791a61034c21cb101c6f390f876fc340fde46c901a2161fa11b2d3f1f WHIRLPOOL 6d2908aa37a56342019e1fd53f845c824b61b73ffdfe66adb901b5f263a53b880ec389329897df585178fd049a8196140ce8a0f51622f51b156e210171ee863b
DIST core_kernel-113.33.00.tar.gz 663386 SHA256 2c24033532c88c6e2d8e77bac650e7398b9ec67dbdd76e8b8a10f45f6d9c64e0 SHA512 f9ddb9e23b6a98b5c47714d90aeec96b495231bcd088a73a37cb40d841a1a230aa6647e2b97f8509e11f0f6f8704c459bd3d5f2ade569018d85a4e083fc2bad3 WHIRLPOOL 4e52a336ce57ae0756fe0f45b4a3930ff40385fcf58df4edcf1c552e8c8f5f80410b2583c97e87e0577f1da3f55eecc4930c73ba3dcc62c9134d97618424159b
+DIST core_kernel-113.33.01.tar.gz 663070 SHA256 ea39cc3bed70f2d51bd2dcffa7f27310b8a01b0cd2da8256a5ba85ab58662786 SHA512 62c97bab8a6044549290648463153b257c7ae910485034894b441701e92d62bfe6d284a2a1ec80f39b3a18732d9d3a2a13ada150ae55da26aa0fd7d4a25fc446 WHIRLPOOL ee69469febdf27bdd7086d2065731e7d23639db1442b3bc5f4711b86836c30c090efbb06c9bdbc7f389b28c5aef1806680fa1c03dae0d366a431177efd334c79
diff --git a/dev-ml/core_kernel/core_kernel-113.33.01.ebuild b/dev-ml/core_kernel/core_kernel-113.33.01.ebuild
new file mode 100644
index 0000000..7777667
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-113.33.01.ebuild
@@ -0,0 +1,53 @@
+# 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 oasis
+
+DESCRIPTION="System-independent part of Core"
+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/bin-prot-112.17.00:=
+ >=dev-ml/fieldslib-109.20.00:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_bench:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_expect:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_jane:=
+ >=dev-ml/sexplib-109.20.00:=
+ >=dev-ml/variantslib-109.15.00:=
+ >=dev-ml/typerep-111.17:=
+ dev-ml/result:=
+ "
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ emake setup.exe
+ OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
+}
+
+src_compile() {
+ emake
+}
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+ dodoc CHANGES.md
+}
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2017-01-24 11:07 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2017-01-24 11:07 UTC (permalink / raw
To: gentoo-commits
commit: 4ce934c0ee35fad5ba6bbc5702b483e96bc019fc
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 24 10:56:24 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan 24 11:07:21 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4ce934c0
dev-ml/core_kernel: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/core_kernel/Manifest | 2 -
dev-ml/core_kernel/core_kernel-113.24.00.ebuild | 52 ------------------------
dev-ml/core_kernel/core_kernel-113.33.00.ebuild | 53 -------------------------
3 files changed, 107 deletions(-)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index b89e4dc..3fd665e 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,3 +1 @@
-DIST core_kernel-113.24.00.tar.gz 647874 SHA256 e245cddd9bdf847a4f9c1d88922bbf567b0badc30ce9acec3933ae515acc68c6 SHA512 6cdf8f400d689fb2501d2dcedb9b287dd3ac5edb4bb8a6310f1ca92c8370f3b38ab1b68791a61034c21cb101c6f390f876fc340fde46c901a2161fa11b2d3f1f WHIRLPOOL 6d2908aa37a56342019e1fd53f845c824b61b73ffdfe66adb901b5f263a53b880ec389329897df585178fd049a8196140ce8a0f51622f51b156e210171ee863b
-DIST core_kernel-113.33.00.tar.gz 663386 SHA256 2c24033532c88c6e2d8e77bac650e7398b9ec67dbdd76e8b8a10f45f6d9c64e0 SHA512 f9ddb9e23b6a98b5c47714d90aeec96b495231bcd088a73a37cb40d841a1a230aa6647e2b97f8509e11f0f6f8704c459bd3d5f2ade569018d85a4e083fc2bad3 WHIRLPOOL 4e52a336ce57ae0756fe0f45b4a3930ff40385fcf58df4edcf1c552e8c8f5f80410b2583c97e87e0577f1da3f55eecc4930c73ba3dcc62c9134d97618424159b
DIST core_kernel-113.33.01.tar.gz 663070 SHA256 ea39cc3bed70f2d51bd2dcffa7f27310b8a01b0cd2da8256a5ba85ab58662786 SHA512 62c97bab8a6044549290648463153b257c7ae910485034894b441701e92d62bfe6d284a2a1ec80f39b3a18732d9d3a2a13ada150ae55da26aa0fd7d4a25fc446 WHIRLPOOL ee69469febdf27bdd7086d2065731e7d23639db1442b3bc5f4711b86836c30c090efbb06c9bdbc7f389b28c5aef1806680fa1c03dae0d366a431177efd334c79
diff --git a/dev-ml/core_kernel/core_kernel-113.24.00.ebuild b/dev-ml/core_kernel/core_kernel-113.24.00.ebuild
deleted file mode 100644
index 8669dff..00000000
--- a/dev-ml/core_kernel/core_kernel-113.24.00.ebuild
+++ /dev/null
@@ -1,52 +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 oasis
-
-DESCRIPTION="System-independent part of Core"
-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/bin-prot-112.17.00:=
- >=dev-ml/fieldslib-109.20.00:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_bench:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_expect:=
- dev-ml/ppx_inline_test:=
- dev-ml/ppx_jane:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- >=dev-ml/typerep-111.17:=
- "
-DEPEND="${RDEPEND}"
-
-src_configure() {
- emake setup.exe
- OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
-}
-
-src_compile() {
- emake
-}
-
-src_install() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- ${PN}.install || die
- dodoc CHANGES.md
-}
diff --git a/dev-ml/core_kernel/core_kernel-113.33.00.ebuild b/dev-ml/core_kernel/core_kernel-113.33.00.ebuild
deleted file mode 100644
index 7777667..00000000
--- a/dev-ml/core_kernel/core_kernel-113.33.00.ebuild
+++ /dev/null
@@ -1,53 +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 oasis
-
-DESCRIPTION="System-independent part of Core"
-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/bin-prot-112.17.00:=
- >=dev-ml/fieldslib-109.20.00:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_bench:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_expect:=
- dev-ml/ppx_inline_test:=
- dev-ml/ppx_jane:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- >=dev-ml/typerep-111.17:=
- dev-ml/result:=
- "
-DEPEND="${RDEPEND}"
-
-src_configure() {
- emake setup.exe
- OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
-}
-
-src_compile() {
- emake
-}
-
-src_install() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- ${PN}.install || die
- dodoc CHANGES.md
-}
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2017-11-10 17:42 Alexis Ballier
0 siblings, 0 replies; 46+ messages in thread
From: Alexis Ballier @ 2017-11-10 17:42 UTC (permalink / raw
To: gentoo-commits
commit: 373a703812b02d949562a77eb46844087b94fa19
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Fri Nov 10 16:56:56 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Fri Nov 10 17:42:22 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=373a7038
dev-ml/core_kernel: bump to 0.9.1
Package-Manager: Portage-2.3.13, Repoman-2.3.4
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-0.9.1.ebuild | 47 +++++++++++++++++++++++++++++
2 files changed, 48 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 8e4f54464dc..e01d0dbe8ae 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1 +1,2 @@
DIST core_kernel-0.9.0.tar.gz 502937 SHA256 41a4784443751eac917ed3c92f21afa8515a2785a7ae4ec83697192b463b8364 SHA512 c262f25636d7a5105810c9588774a56e21e58cd156302781db3463898be0a42d9c8b1984ead739d0659d6f3eece4a305fc45c7cad4ed57149d26344affbdb668 WHIRLPOOL f54ac9cbce0caa8a1597035e4beb595f1fc0cf7f9070907a8d666cc4d17f1d19a7aba9e590f780ad7142360d9dc59cdc665584bb171364384e499736c9950c2e
+DIST core_kernel-0.9.1.tar.gz 502985 SHA256 820076d9e045c1f58f90ee28ceadfa5b42ed3b70b86e48a3d29251cc841319c7 SHA512 ec0c3f72c52b975ef3d28b89190e0de3d9a60a842cde13f9a71f2d90101af3ccced06b4640d061362b89127140fe761dc19733da3f7dfabab189faef78343b7b WHIRLPOOL e32c19ea89cb01c7d43f9681b126cccb62cdb6f57876e1f65eb5b2806bfd191186d15c6c1ff021379d7c5ef53c368572ecacff03e94fc3cb2bea272d4d4149d7
diff --git a/dev-ml/core_kernel/core_kernel-0.9.1.ebuild b/dev-ml/core_kernel/core_kernel-0.9.1.ebuild
new file mode 100644
index 00000000000..e725deed96b
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-0.9.1.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="System-independent part of Core"
+HOMEPAGE="https://github.com/janestreet/core_kernel"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ dev-lang/ocaml:=
+ dev-ml/base:=
+ dev-ml/bin-prot:=
+ dev-ml/configurator:=
+ dev-ml/fieldslib:=
+ dev-ml/jane-street-headers:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_base:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_jane:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_sexp_message:=
+ dev-ml/sexplib:=
+ dev-ml/stdio:=
+ dev-ml/typerep:=
+ dev-ml/variantslib:=
+ dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/opam
+ dev-ml/jbuilder
+"
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+}
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-24 16:06 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-24 16:06 UTC (permalink / raw
To: gentoo-commits
commit: 8f3c689bf17a364ff7bc9a5b4cf4fffa0876a06a
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 22 05:55:51 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 24 16:06:06 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f3c689b
dev-ml/core_kernel: bump to 0.14.1
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-0.14.1.ebuild | 38 ++++++++++++++++++++++++++++
2 files changed, 39 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 68e1a5aa3bd..f035cf2d089 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,2 +1,3 @@
+DIST core_kernel-0.14.1.tar.gz 701832 BLAKE2B 0463641f8ab663f00dff59e1ac0b9693f15b71e4f9fa001b54d2449b8a18c8f618a7d7d3149084699d12d4c9834a20fcda6882549f4c69c219e3489ee1223dba SHA512 56488260fce8a066bba06efc349b4760c55d7d2fe38ed47dd7f37d0deb9ea05838a87713ec778df83d7805da5a54513a97d9e678640bb977bfd342bb748e7a33
DIST core_kernel-0.9.0.tar.gz 502937 BLAKE2B 88a4fdfae2dc0d45c794faf925bd97d7e59558231540a8614d548133d58c576eabf342d2af358ea792ba7e59a79317e4c66aad3a4ff0c2f4b94f012d73e98d7c SHA512 c262f25636d7a5105810c9588774a56e21e58cd156302781db3463898be0a42d9c8b1984ead739d0659d6f3eece4a305fc45c7cad4ed57149d26344affbdb668
DIST core_kernel-0.9.1.tar.gz 502985 BLAKE2B c924b104f3e0c5bce84a01408f8ac773ec16eb37f6dddfd8261886355c08d8536af60e573ded56936a299af6d8a7a16f37147e9660d65fece5ac8aa7d42a7a95 SHA512 ec0c3f72c52b975ef3d28b89190e0de3d9a60a842cde13f9a71f2d90101af3ccced06b4640d061362b89127140fe761dc19733da3f7dfabab189faef78343b7b
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1.ebuild
new file mode 100644
index 00000000000..4ff9fa65ab3
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-0.14.1.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="System-independent part of Core"
+HOMEPAGE="https://github.com/janestreet/core_kernel"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ dev-lang/ocaml:=
+ dev-ml/base:=
+ dev-ml/bin-prot:=
+ dev-ml/configurator:=
+ dev-ml/fieldslib:=
+ dev-ml/jane-street-headers:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_base:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_jane:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_sexp_message:=
+ dev-ml/sexplib:=
+ dev-ml/stdio:=
+ dev-ml/typerep:=
+ dev-ml/variantslib:=
+ dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-24 17:10 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-24 17:10 UTC (permalink / raw
To: gentoo-commits
commit: 85430afc9c0a91b7be04264ea209fb42ff74bf1b
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 24 16:59:07 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 24 17:10:19 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=85430afc
dev-ml/core_kernel: adopt for ml@
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/metadata.xml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml
index 4480feeb3ae..04ce5876107 100644
--- a/dev-ml/core_kernel/metadata.xml
+++ b/dev-ml/core_kernel/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
<longdescription lang="en">
Core_kernel is the system-independent part of Core. It is aimed for
cases when the full Core is not available, such as in Javascript. It
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-24 17:10 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-24 17:10 UTC (permalink / raw
To: gentoo-commits
commit: e548cc68c6ec3115801706af119618eb7a46e0ab
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 24 16:59:59 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 24 17:10:19 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e548cc68
dev-ml/core_kernel: add dev-ml/base_bigstring dep
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1.ebuild
index 4ff9fa65ab3..dd42dee9792 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1.ebuild
@@ -17,6 +17,7 @@ IUSE="+ocamlopt"
RDEPEND="
dev-lang/ocaml:=
dev-ml/base:=
+ dev-ml/base_bigstring:=
dev-ml/bin-prot:=
dev-ml/configurator:=
dev-ml/fieldslib:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-27 2:01 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-27 2:01 UTC (permalink / raw
To: gentoo-commits
commit: 6662afdb0ce5453643dc7a2e8eef01f572e7c68a
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 27 02:00:15 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jan 27 02:00:15 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6662afdb
dev-ml/core_kernel: drop obsolete dev-ml/configurator dep
Bug: https://bugs.gentoo.org/766884
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../{core_kernel-0.14.1.ebuild => core_kernel-0.14.1-r1.ebuild} | 1 -
1 file changed, 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
similarity index 97%
rename from dev-ml/core_kernel/core_kernel-0.14.1.ebuild
rename to dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
index dd42dee9792..4b4e71ca9ef 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
@@ -19,7 +19,6 @@ RDEPEND="
dev-ml/base:=
dev-ml/base_bigstring:=
dev-ml/bin-prot:=
- dev-ml/configurator:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
dev-ml/ppx_assert:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-27 2:01 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-27 2:01 UTC (permalink / raw
To: gentoo-commits
commit: 93c651b12a0d0b6a3ad9785720410f58bc82310a
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 27 02:01:04 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jan 27 02:01:04 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93c651b1
dev-ml/core_kernel: add dev-ml/jst-config dep
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
index 4b4e71ca9ef..6d7de371e0b 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
@@ -21,6 +21,7 @@ RDEPEND="
dev-ml/bin-prot:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
+ dev-ml/jst-config:=
dev-ml/ppx_assert:=
dev-ml/ppx_base:=
dev-ml/ppx_driver:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-27 2:08 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-27 2:08 UTC (permalink / raw
To: gentoo-commits
commit: 9b0879ab502bda3124290b211275459be07572cd
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 27 02:08:07 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jan 27 02:08:07 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9b0879ab
dev-ml/core_kernel: fix dev-ml/bin-prot dep
Bug: https://bugs.gentoo.org/767382
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../{core_kernel-0.14.1-r1.ebuild => core_kernel-0.14.1-r2.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
similarity index 97%
rename from dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
rename to dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
index 6d7de371e0b..d68fb6015e7 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r1.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
@@ -18,7 +18,7 @@ RDEPEND="
dev-lang/ocaml:=
dev-ml/base:=
dev-ml/base_bigstring:=
- dev-ml/bin-prot:=
+ dev-ml/bin_prot:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
dev-ml/jst-config:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-27 7:22 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-27 7:22 UTC (permalink / raw
To: gentoo-commits
commit: 4b75ad0bf022b9fc41120c000911ea3fac6cba02
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 27 07:21:25 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jan 27 07:21:58 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b75ad0b
dev-ml/core_kernel: fix dependencies
* Drop dev-ml/ppx_driver
* Add dev-ml/base_quickcheck
* Add dev-ml/splittable_random
* Add dev-ml/time_now
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../{core_kernel-0.14.1-r2.ebuild => core_kernel-0.14.1-r3.ebuild} | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
similarity index 92%
rename from dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
rename to dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index d68fb6015e7..efdaab67e7b 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r2.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -18,20 +18,22 @@ RDEPEND="
dev-lang/ocaml:=
dev-ml/base:=
dev-ml/base_bigstring:=
+ dev-ml/base_quickcheck:=
dev-ml/bin_prot:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
dev-ml/jst-config:=
dev-ml/ppx_assert:=
dev-ml/ppx_base:=
- dev-ml/ppx_driver:=
dev-ml/ppx_hash:=
dev-ml/ppx_inline_test:=
dev-ml/ppx_jane:=
dev-ml/ppx_sexp_conv:=
dev-ml/ppx_sexp_message:=
+ dev-ml/splittable_random:=
dev-ml/sexplib:=
dev-ml/stdio:=
+ dev-ml/time_now:=
dev-ml/typerep:=
dev-ml/variantslib:=
dev-ml/ocaml-migrate-parsetree:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-27 8:34 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-27 8:34 UTC (permalink / raw
To: gentoo-commits
commit: af3c4a34ab52654776f9c2dc06ef2f79ddec6cc0
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 27 08:34:26 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jan 27 08:34:31 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af3c4a34
dev-ml/core_kernel: restrict tests for now
We don't really want to faff with quickcheck_deprecated.
Closes: https://bugs.gentoo.org/767406
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 3 +++
1 file changed, 3 insertions(+)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index efdaab67e7b..0bb7fa1dba9 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -14,6 +14,9 @@ SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE="+ocamlopt"
+# Wants quickcheck_deprecated for now
+RESTRICT="test"
+
RDEPEND="
dev-lang/ocaml:=
dev-ml/base:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-27 19:53 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-27 19:53 UTC (permalink / raw
To: gentoo-commits
commit: 146df018f43c7e91e576e7a5838c92e6b1e1f2ad
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 27 19:53:37 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jan 27 19:53:37 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=146df018
dev-ml/core_kernel: Keyword 0.14.1-r3 arm, #766884
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 0bb7fa1dba9..797d9601675 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~arm"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-28 2:48 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-28 2:48 UTC (permalink / raw
To: gentoo-commits
commit: 3b02a3934bb42ef42896d86e1c1720bfe2180086
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 28 02:47:34 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Jan 28 02:47:34 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3b02a393
dev-ml/core_kernel: Keyword 0.14.1-r3 arm64, #766884
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 797d9601675..5ff70eb5585 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm"
+KEYWORDS="~amd64 ~arm ~arm64"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-01-28 20:25 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-01-28 20:25 UTC (permalink / raw
To: gentoo-commits
commit: 2076bb663f8c7f2e13841610f16537d23427c4b7
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 28 20:25:33 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Jan 28 20:25:40 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2076bb66
dev-ml/core_kernel: Keyword 0.14.1-r3 x86, #766884
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 5ff70eb5585..1bf83ba6c0f 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-02-10 16:38 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-02-10 16:38 UTC (permalink / raw
To: gentoo-commits
commit: 0c5c2df67826550f9b517028113ed58b12b74cd5
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 10 16:38:19 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Feb 10 16:38:19 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c5c2df6
dev-ml/core_kernel: Keyword 0.14.1-r3 ppc64, #769554
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 1bf83ba6c0f..f96d14558d4 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-02-21 8:11 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-02-21 8:11 UTC (permalink / raw
To: gentoo-commits
commit: 8255bd5c0f3e881ec55bb4724549463cd8e55708
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 21 08:10:58 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Feb 21 08:10:58 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8255bd5c
dev-ml/core_kernel: Keyword 0.14.1-r3 ppc, #769554
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index f96d14558d4..21ede2227bb 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-02-25 13:09 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-02-25 13:09 UTC (permalink / raw
To: gentoo-commits
commit: c533c55e58782bb06d31fae46040dd7204a2d33e
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 25 13:08:55 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Feb 25 13:08:55 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c533c55e
dev-ml/core_kernel: Stabilize 0.14.1-r3 ppc, #772833
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 21ede2227bb..972872ab7a5 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-02-25 17:54 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-02-25 17:54 UTC (permalink / raw
To: gentoo-commits
commit: 00da15847c2d88720442a5aa4c095ac562df2c6e
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 25 17:54:00 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Feb 25 17:54:00 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00da1584
dev-ml/core_kernel: Stabilize 0.14.1-r3 x86, #772833
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 972872ab7a5..4f8eb73f4ef 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-03-04 14:28 Agostino Sarubbo
0 siblings, 0 replies; 46+ messages in thread
From: Agostino Sarubbo @ 2021-03-04 14:28 UTC (permalink / raw
To: gentoo-commits
commit: 81151034606bab40e611bb8237c5e82c18e8be88
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 4 14:27:18 2021 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Thu Mar 4 14:27:18 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=81151034
dev-ml/core_kernel: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 4f8eb73f4ef..5e300becad6 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-03-07 19:22 Alfredo Tupone
0 siblings, 0 replies; 46+ messages in thread
From: Alfredo Tupone @ 2021-03-07 19:22 UTC (permalink / raw
To: gentoo-commits
commit: cedf25d8ed569aada2f037892b8c0c63167ce692
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 7 19:16:14 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Mar 7 19:22:38 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cedf25d8
dev-ml/core_kernel: rm old versions
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 2 --
dev-ml/core_kernel/core_kernel-0.9.0.ebuild | 47 -----------------------------
dev-ml/core_kernel/core_kernel-0.9.1.ebuild | 47 -----------------------------
3 files changed, 96 deletions(-)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index f035cf2d089..3224a8f054e 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,3 +1 @@
DIST core_kernel-0.14.1.tar.gz 701832 BLAKE2B 0463641f8ab663f00dff59e1ac0b9693f15b71e4f9fa001b54d2449b8a18c8f618a7d7d3149084699d12d4c9834a20fcda6882549f4c69c219e3489ee1223dba SHA512 56488260fce8a066bba06efc349b4760c55d7d2fe38ed47dd7f37d0deb9ea05838a87713ec778df83d7805da5a54513a97d9e678640bb977bfd342bb748e7a33
-DIST core_kernel-0.9.0.tar.gz 502937 BLAKE2B 88a4fdfae2dc0d45c794faf925bd97d7e59558231540a8614d548133d58c576eabf342d2af358ea792ba7e59a79317e4c66aad3a4ff0c2f4b94f012d73e98d7c SHA512 c262f25636d7a5105810c9588774a56e21e58cd156302781db3463898be0a42d9c8b1984ead739d0659d6f3eece4a305fc45c7cad4ed57149d26344affbdb668
-DIST core_kernel-0.9.1.tar.gz 502985 BLAKE2B c924b104f3e0c5bce84a01408f8ac773ec16eb37f6dddfd8261886355c08d8536af60e573ded56936a299af6d8a7a16f37147e9660d65fece5ac8aa7d42a7a95 SHA512 ec0c3f72c52b975ef3d28b89190e0de3d9a60a842cde13f9a71f2d90101af3ccced06b4640d061362b89127140fe761dc19733da3f7dfabab189faef78343b7b
diff --git a/dev-ml/core_kernel/core_kernel-0.9.0.ebuild b/dev-ml/core_kernel/core_kernel-0.9.0.ebuild
deleted file mode 100644
index e725deed96b..00000000000
--- a/dev-ml/core_kernel/core_kernel-0.9.0.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="System-independent part of Core"
-HOMEPAGE="https://github.com/janestreet/core_kernel"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
- dev-lang/ocaml:=
- dev-ml/base:=
- dev-ml/bin-prot:=
- dev-ml/configurator:=
- dev-ml/fieldslib:=
- dev-ml/jane-street-headers:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_base:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_inline_test:=
- dev-ml/ppx_jane:=
- dev-ml/ppx_sexp_conv:=
- dev-ml/ppx_sexp_message:=
- dev-ml/sexplib:=
- dev-ml/stdio:=
- dev-ml/typerep:=
- dev-ml/variantslib:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND}
- dev-ml/opam
- dev-ml/jbuilder
-"
-
-src_install() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- ${PN}.install || die
-}
diff --git a/dev-ml/core_kernel/core_kernel-0.9.1.ebuild b/dev-ml/core_kernel/core_kernel-0.9.1.ebuild
deleted file mode 100644
index e725deed96b..00000000000
--- a/dev-ml/core_kernel/core_kernel-0.9.1.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="System-independent part of Core"
-HOMEPAGE="https://github.com/janestreet/core_kernel"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
- dev-lang/ocaml:=
- dev-ml/base:=
- dev-ml/bin-prot:=
- dev-ml/configurator:=
- dev-ml/fieldslib:=
- dev-ml/jane-street-headers:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_base:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_hash:=
- dev-ml/ppx_inline_test:=
- dev-ml/ppx_jane:=
- dev-ml/ppx_sexp_conv:=
- dev-ml/ppx_sexp_message:=
- dev-ml/sexplib:=
- dev-ml/stdio:=
- dev-ml/typerep:=
- dev-ml/variantslib:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND}
- dev-ml/opam
- dev-ml/jbuilder
-"
-
-src_install() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- ${PN}.install || die
-}
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-03-13 14:05 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-03-13 14:05 UTC (permalink / raw
To: gentoo-commits
commit: b7a7a71a3d5689a384acb3fd5ff2a79947f10640
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 13 14:05:05 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 13 14:05:05 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b7a7a71a
dev-ml/core_kernel: Stabilize 0.14.1-r3 ppc64, #772833
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 5e300becad6..ba62c36d91b 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2021-10-06 1:02 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2021-10-06 1:02 UTC (permalink / raw
To: gentoo-commits
commit: f66ca73af2eb24286e62b595ced201a0cfddfaaf
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 6 00:52:28 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 6 01:00:59 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f66ca73a
dev-ml/core_kernel: add 0.14.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-0.14.2.ebuild | 44 ++++++++++++++++++++++++++++
2 files changed, 45 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 3224a8f054e..2571279db94 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1 +1,2 @@
DIST core_kernel-0.14.1.tar.gz 701832 BLAKE2B 0463641f8ab663f00dff59e1ac0b9693f15b71e4f9fa001b54d2449b8a18c8f618a7d7d3149084699d12d4c9834a20fcda6882549f4c69c219e3489ee1223dba SHA512 56488260fce8a066bba06efc349b4760c55d7d2fe38ed47dd7f37d0deb9ea05838a87713ec778df83d7805da5a54513a97d9e678640bb977bfd342bb748e7a33
+DIST core_kernel-0.14.2.tar.gz 701911 BLAKE2B e784d6d8f53df03ffb56075a43bdfc82d5099740c4eebdfdebe196cb3c97211b95892af18ab0f69b3143a873962fa74afe09a961ad851fb8eb4f30287e538157 SHA512 d0f719734d920d98c55ac7d1aa8ab5b3de7a3896f6cd8b1ffc5147c689f072361e79045a0b34c1f5359dbf492e612eabd613c4724fe60d45345c2944dcdcf6de
diff --git a/dev-ml/core_kernel/core_kernel-0.14.2.ebuild b/dev-ml/core_kernel/core_kernel-0.14.2.ebuild
new file mode 100644
index 00000000000..21ede2227bb
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-0.14.2.ebuild
@@ -0,0 +1,44 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="System-independent part of Core"
+HOMEPAGE="https://github.com/janestreet/core_kernel"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+# Wants quickcheck_deprecated for now
+RESTRICT="test"
+
+RDEPEND="
+ dev-lang/ocaml:=
+ dev-ml/base:=
+ dev-ml/base_bigstring:=
+ dev-ml/base_quickcheck:=
+ dev-ml/bin_prot:=
+ dev-ml/fieldslib:=
+ dev-ml/jane-street-headers:=
+ dev-ml/jst-config:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_base:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_jane:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_sexp_message:=
+ dev-ml/splittable_random:=
+ dev-ml/sexplib:=
+ dev-ml/stdio:=
+ dev-ml/time_now:=
+ dev-ml/typerep:=
+ dev-ml/variantslib:=
+ dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2022-01-31 1:14 Maciej Barć
0 siblings, 0 replies; 46+ messages in thread
From: Maciej Barć @ 2022-01-31 1:14 UTC (permalink / raw
To: gentoo-commits
commit: 5028e50118e710e7fdaf2dfe60949656066e1801
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 31 01:09:38 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jan 31 01:14:23 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5028e501
dev-ml/core_kernel: <dev-ml/jst-config-0.15.0; add ppx_optcom dep
Closes: https://bugs.gentoo.org/832378
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
...core_kernel-0.14.2.ebuild => core_kernel-0.14.2-r1.ebuild} | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.2.ebuild b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
similarity index 90%
rename from dev-ml/core_kernel/core_kernel-0.14.2.ebuild
rename to dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
index 21ede2227bb8..903bac6397fd 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.2.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
@@ -1,7 +1,7 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=7
+EAPI=8
inherit dune
@@ -19,13 +19,15 @@ RESTRICT="test"
RDEPEND="
dev-lang/ocaml:=
+ <dev-ml/jst-config-0.15.0
+ >=dev-ml/ppx_optcomp-0.14.3:=
dev-ml/base:=
dev-ml/base_bigstring:=
dev-ml/base_quickcheck:=
dev-ml/bin_prot:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
- dev-ml/jst-config:=
+ dev-ml/ocaml-migrate-parsetree:=
dev-ml/ppx_assert:=
dev-ml/ppx_base:=
dev-ml/ppx_hash:=
@@ -33,12 +35,11 @@ RDEPEND="
dev-ml/ppx_jane:=
dev-ml/ppx_sexp_conv:=
dev-ml/ppx_sexp_message:=
- dev-ml/splittable_random:=
dev-ml/sexplib:=
+ dev-ml/splittable_random:=
dev-ml/stdio:=
dev-ml/time_now:=
dev-ml/typerep:=
dev-ml/variantslib:=
- dev-ml/ocaml-migrate-parsetree:=
"
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2022-04-26 17:13 Alfredo Tupone
0 siblings, 0 replies; 46+ messages in thread
From: Alfredo Tupone @ 2022-04-26 17:13 UTC (permalink / raw
To: gentoo-commits
commit: e28572f2ffcfc8ef1bd7694a5751b122bea70ed9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 26 17:12:56 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Apr 26 17:13:16 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e28572f2
dev-ml/core_kernel: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 24 ++++++++++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index 2571279db940..eae239b4c356 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,2 +1,3 @@
DIST core_kernel-0.14.1.tar.gz 701832 BLAKE2B 0463641f8ab663f00dff59e1ac0b9693f15b71e4f9fa001b54d2449b8a18c8f618a7d7d3149084699d12d4c9834a20fcda6882549f4c69c219e3489ee1223dba SHA512 56488260fce8a066bba06efc349b4760c55d7d2fe38ed47dd7f37d0deb9ea05838a87713ec778df83d7805da5a54513a97d9e678640bb977bfd342bb748e7a33
DIST core_kernel-0.14.2.tar.gz 701911 BLAKE2B e784d6d8f53df03ffb56075a43bdfc82d5099740c4eebdfdebe196cb3c97211b95892af18ab0f69b3143a873962fa74afe09a961ad851fb8eb4f30287e538157 SHA512 d0f719734d920d98c55ac7d1aa8ab5b3de7a3896f6cd8b1ffc5147c689f072361e79045a0b34c1f5359dbf492e612eabd613c4724fe60d45345c2944dcdcf6de
+DIST core_kernel-0.15.0.tar.gz 265183 BLAKE2B b1e67e8a84e1abbb23ccfb65c8320e36b3b2f91be3c2aa02e73b53c411e80da65c34b69d538d027417a52fd1dbb1a2217b9020d86ae00237ebaf3e7c06b35e42 SHA512 da28f11374fda2e869b5ef3f7131461c6d896b52413654f2aeb7c74bc77ba4a8e2a25830eb3e3ef393e0bbae903db20f54773b356c53cab75c1bba1b9ce265bc
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
new file mode 100644
index 000000000000..ca705633bcf6
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="System-independent part of Core"
+HOMEPAGE="https://github.com/janestreet/core_kernel"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+# Wants quickcheck_deprecated for now
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/core:${SLOT}
+ dev-ml/int_repr:${SLOT}
+"
+DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2022-10-14 21:22 Alfredo Tupone
0 siblings, 0 replies; 46+ messages in thread
From: Alfredo Tupone @ 2022-10-14 21:22 UTC (permalink / raw
To: gentoo-commits
commit: 1d2c7fb59efe612f835d5648d8ccf9aa82a1c069
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Oct 14 21:21:20 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Oct 14 21:22:21 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1d2c7fb5
dev-ml/core_kernel: adj deps
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
index 07c3dc02331e..d06daee72080 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
@@ -22,15 +22,15 @@ RDEPEND="
<dev-ml/jst-config-0.15.0
>=dev-ml/ppx_optcomp-0.14.3:=
dev-ml/base:=
- dev-ml/base_bigstring:=
+ =dev-ml/base_bigstring-0.14*:=
dev-ml/base_quickcheck:=
dev-ml/bin_prot:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
dev-ml/ocaml-migrate-parsetree:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_base:=
- dev-ml/ppx_hash:=
+ =dev-ml/ppx_assert-0.14*:=
+ =dev-ml/ppx_base-0.14*:=
+ =dev-ml/ppx_hash-0.14*:=
dev-ml/ppx_inline_test:=
dev-ml/ppx_jane:=
dev-ml/ppx_sexp_conv:=
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2022-10-15 16:24 Alfredo Tupone
0 siblings, 0 replies; 46+ messages in thread
From: Alfredo Tupone @ 2022-10-15 16:24 UTC (permalink / raw
To: gentoo-commits
commit: 608561938209ad0bdd8bdf25fb6683763235f1ec
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 15 16:23:26 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Oct 15 16:24:10 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=60856193
dev-ml/core_kernel: adj deps
Closes: https://bugs.gentoo.org/877191
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
index 282b205be198..aa497f6f9095 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
@@ -19,16 +19,17 @@ RESTRICT="test"
RDEPEND="
dev-lang/ocaml:=
+ <dev-ml/jst-config-0.15.0
dev-ml/base:=
- dev-ml/base_bigstring:=
+ =dev-ml/base_bigstring-0.14*:=
dev-ml/base_quickcheck:=
dev-ml/bin_prot:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
- dev-ml/jst-config:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_base:=
- dev-ml/ppx_hash:=
+ dev-ml/ocaml-migrate-parsetree:=
+ =dev-ml/ppx_assert-0.14*:=
+ =dev-ml/ppx_base-0.14*:=
+ =dev-ml/ppx_hash-0.14*:=
dev-ml/ppx_inline_test:=
dev-ml/ppx_jane:=
dev-ml/ppx_sexp_conv:=
@@ -39,6 +40,5 @@ RDEPEND="
dev-ml/time_now:=
dev-ml/typerep:=
dev-ml/variantslib:=
- dev-ml/ocaml-migrate-parsetree:=
"
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-01-27 0:30 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2023-01-27 0:30 UTC (permalink / raw
To: gentoo-commits
commit: 1684741a3121278d8ff76851b94644407df1e0a3
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 27 00:24:18 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Jan 27 00:28:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1684741a
dev-ml/core_kernel: unkeyword 0.15.0
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index ca705633bcf6..490e12a62333 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-02-10 8:28 Yixun Lan
0 siblings, 0 replies; 46+ messages in thread
From: Yixun Lan @ 2023-02-10 8:28 UTC (permalink / raw
To: gentoo-commits
commit: aff4236024b7eadc4684702aae6f08462c72d2c1
Author: Yixun Lan <dlan <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 10 08:23:00 2023 +0000
Commit: Yixun Lan <dlan <AT> gentoo <DOT> org>
CommitDate: Fri Feb 10 08:23:00 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aff42360
dev-ml/core_kernel: Keyword 0.15.0 riscv, #892131
Signed-off-by: Yixun Lan <dlan <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index 490e12a62333..3fbf063734e5 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-02-20 20:27 Arthur Zamarin
0 siblings, 0 replies; 46+ messages in thread
From: Arthur Zamarin @ 2023-02-20 20:27 UTC (permalink / raw
To: gentoo-commits
commit: e55ad9636a17934c1e432ac2886ab08bbaa46487
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 20 20:26:23 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon Feb 20 20:26:23 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e55ad963
dev-ml/core_kernel: Keyword 0.15.0 x86, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index 3fbf063734e5..55b846c55ca1 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~riscv"
+KEYWORDS="~amd64 ~riscv ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-02-24 22:20 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2023-02-24 22:20 UTC (permalink / raw
To: gentoo-commits
commit: f4d8cffbf93b02c349ea2c851976b167182e67d2
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 22:19:29 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 22:19:29 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f4d8cffb
dev-ml/core_kernel: Keyword 0.15.0 arm, #892131
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index 08b5d6f7f6cb..08a2e74406c0 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-04-19 20:47 Alfredo Tupone
0 siblings, 0 replies; 46+ messages in thread
From: Alfredo Tupone @ 2023-04-19 20:47 UTC (permalink / raw
To: gentoo-commits
commit: b870fcb20bc73daf33716282361634c720e5a44b
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 19 20:47:27 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Apr 19 20:47:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b870fcb2
dev-ml/core_kernel: stabilize 0.15.0 for amd64
Bug: https://bugs.gentoo.org/901601
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index 08a2e74406c0..b24833698db8 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~riscv ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-04-30 0:21 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2023-04-30 0:21 UTC (permalink / raw
To: gentoo-commits
commit: 5623d07a1646c2441ee13802fc6f075e90bebbed
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 30 00:21:27 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 30 00:21:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5623d07a
dev-ml/core_kernel: Stabilize 0.15.0 x86, #901601
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index dc302ee45a8c..09acead97e98 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm arm64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm arm64 ~riscv x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-04-30 0:21 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2023-04-30 0:21 UTC (permalink / raw
To: gentoo-commits
commit: ab3705ddd5372b08de2e6c70856a037c355c326b
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 30 00:21:25 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 30 00:21:25 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab3705dd
dev-ml/core_kernel: Stabilize 0.15.0 arm64, #901601
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index b24833698db8..dc302ee45a8c 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm arm64 ~riscv ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-04-30 1:14 Sam James
0 siblings, 0 replies; 46+ messages in thread
From: Sam James @ 2023-04-30 1:14 UTC (permalink / raw
To: gentoo-commits
commit: 0dbd2f4a00dabe5b82174b84e4a77adf8d26358a
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 30 01:13:38 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 30 01:13:38 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0dbd2f4a
dev-ml/core_kernel: Stabilize 0.15.0 arm, #901601
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index 09acead97e98..db3dc075142d 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm arm64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~riscv x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-06-15 18:20 Arthur Zamarin
0 siblings, 0 replies; 46+ messages in thread
From: Arthur Zamarin @ 2023-06-15 18:20 UTC (permalink / raw
To: gentoo-commits
commit: 473e87de1dfc9029a77298af9066044f4eab9169
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 15 18:19:31 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Jun 15 18:19:31 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=473e87de
dev-ml/core_kernel: Keyword 0.15.0 ppc64, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
index 2397dba0da88..cf9f6fff0981 100644
--- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~ppc ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2023-07-02 13:03 Alfredo Tupone
0 siblings, 0 replies; 46+ messages in thread
From: Alfredo Tupone @ 2023-07-02 13:03 UTC (permalink / raw
To: gentoo-commits
commit: 911ced0ef205478f3f5c5ec5ba4d8e44d01f4901
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 2 13:01:42 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul 2 13:02:47 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=911ced0e
dev-ml/core_kernel: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/core_kernel/Manifest | 1 +
dev-ml/core_kernel/core_kernel-0.16.0.ebuild | 58 ++++++++++++++++++++++++++++
2 files changed, 59 insertions(+)
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index eae239b4c356..d979a60f691a 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -1,3 +1,4 @@
DIST core_kernel-0.14.1.tar.gz 701832 BLAKE2B 0463641f8ab663f00dff59e1ac0b9693f15b71e4f9fa001b54d2449b8a18c8f618a7d7d3149084699d12d4c9834a20fcda6882549f4c69c219e3489ee1223dba SHA512 56488260fce8a066bba06efc349b4760c55d7d2fe38ed47dd7f37d0deb9ea05838a87713ec778df83d7805da5a54513a97d9e678640bb977bfd342bb748e7a33
DIST core_kernel-0.14.2.tar.gz 701911 BLAKE2B e784d6d8f53df03ffb56075a43bdfc82d5099740c4eebdfdebe196cb3c97211b95892af18ab0f69b3143a873962fa74afe09a961ad851fb8eb4f30287e538157 SHA512 d0f719734d920d98c55ac7d1aa8ab5b3de7a3896f6cd8b1ffc5147c689f072361e79045a0b34c1f5359dbf492e612eabd613c4724fe60d45345c2944dcdcf6de
DIST core_kernel-0.15.0.tar.gz 265183 BLAKE2B b1e67e8a84e1abbb23ccfb65c8320e36b3b2f91be3c2aa02e73b53c411e80da65c34b69d538d027417a52fd1dbb1a2217b9020d86ae00237ebaf3e7c06b35e42 SHA512 da28f11374fda2e869b5ef3f7131461c6d896b52413654f2aeb7c74bc77ba4a8e2a25830eb3e3ef393e0bbae903db20f54773b356c53cab75c1bba1b9ce265bc
+DIST core_kernel-0.16.0.tar.gz 276775 BLAKE2B 3e64ff9291c01b7f9d48a70e3106b09d96040b41720f36cc36d2067cf195451a0c948991f55b930bb6f58e28d75f47f21367785c2c06ac8459de0f72bf05f961 SHA512 a6cf486694514ea4393aa6b2bf688b4a21fd97238d22ddfa99af30ee478be23255d67f87c16115df03ceb3a7bf4726e92d0c01be0abb2308f36c027a5ab4bc04
diff --git a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
new file mode 100644
index 000000000000..be1df007fb3c
--- /dev/null
+++ b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
@@ -0,0 +1,58 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="System-independent part of Core"
+HOMEPAGE="https://github.com/janestreet/core_kernel"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+# Wants quickcheck_deprecated for now
+RESTRICT="test"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.14
+ dev-ml/base_quickcheck:=
+ dev-ml/core:${SLOT}
+ dev-ml/int_repr:${SLOT}
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_bench:=
+ dev-ml/ppx_bin_prot:=
+ dev-ml/ppx_cold:=
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_custom_printf:=
+ dev-ml/ppx_disable_unused_warnings:=
+ dev-ml/ppx_enumerate:=
+ dev-ml/ppx_expect:=
+ dev-ml/ppx_fields_conv:=
+ dev-ml/ppx_fixed_literal:=
+ dev-ml/ppx_globalize:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_here:=
+ dev-ml/ppx_ignore_instrumentation:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_let:=
+ dev-ml/ppx_log:=
+ dev-ml/ppx_module_timer:=
+ dev-ml/ppx_optcomp:${SLOT}
+ dev-ml/ppx_optional:=
+ dev-ml/ppx_pipebang:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_sexp_message:=
+ dev-ml/ppx_sexp_value:=
+ dev-ml/ppx_stable:=
+ dev-ml/ppx_stable_witness:=
+ dev-ml/ppx_string:=
+ dev-ml/ppx_tydi:=
+ dev-ml/ppx_typerep_conv:=
+ dev-ml/ppx_variants_conv:=
+ dev-ml/ppxlib:=
+"
+DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2024-06-02 12:25 Alfredo Tupone
0 siblings, 0 replies; 46+ messages in thread
From: Alfredo Tupone @ 2024-06-02 12:25 UTC (permalink / raw
To: gentoo-commits
commit: 4eb06c2d038930707fe3a5447ab5fa8708cc8197
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 12:23:48 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 12:25:07 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4eb06c2d
dev-ml/core_kernel: fix deps
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
...14.1-r3.ebuild => core_kernel-0.14.1-r4.ebuild} | 34 +++++++++++-----------
1 file changed, 17 insertions(+), 17 deletions(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r4.ebuild
similarity index 57%
rename from dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
rename to dev-ml/core_kernel/core_kernel-0.14.1-r4.ebuild
index aa497f6f9095..f4d6230c918b 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.1-r4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -18,27 +18,27 @@ IUSE="+ocamlopt"
RESTRICT="test"
RDEPEND="
- dev-lang/ocaml:=
+ <dev-lang/ocaml-4.12:=
<dev-ml/jst-config-0.15.0
- dev-ml/base:=
+ <dev-ml/base-0.15:=
=dev-ml/base_bigstring-0.14*:=
- dev-ml/base_quickcheck:=
- dev-ml/bin_prot:=
- dev-ml/fieldslib:=
- dev-ml/jane-street-headers:=
+ <dev-ml/base_quickcheck-0.15:=
+ dev-ml/bin_prot:0/0.14.0
+ dev-ml/fieldslib:0/0.14.0
+ dev-ml/jane-street-headers:0/0.14.0
dev-ml/ocaml-migrate-parsetree:=
=dev-ml/ppx_assert-0.14*:=
=dev-ml/ppx_base-0.14*:=
=dev-ml/ppx_hash-0.14*:=
- dev-ml/ppx_inline_test:=
- dev-ml/ppx_jane:=
- dev-ml/ppx_sexp_conv:=
- dev-ml/ppx_sexp_message:=
- dev-ml/splittable_random:=
- dev-ml/sexplib:=
- dev-ml/stdio:=
- dev-ml/time_now:=
- dev-ml/typerep:=
- dev-ml/variantslib:=
+ dev-ml/ppx_inline_test:0/0.14.1
+ dev-ml/ppx_jane:0/0.14.0
+ <dev-ml/ppx_sexp_conv-0.15:=
+ <dev-ml/ppx_sexp_message-0.15:=
+ dev-ml/splittable_random:0/0.14.0
+ dev-ml/sexplib:0/0.14.0
+ dev-ml/stdio:0/0.14.0
+ dev-ml/time_now:0/0.14.0
+ dev-ml/typerep:0/0.14.0
+ dev-ml/variantslib:0/0.14.0
"
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2024-06-02 19:36 Arthur Zamarin
0 siblings, 0 replies; 46+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:36 UTC (permalink / raw
To: gentoo-commits
commit: f9ebf15906c7dc97c39fd54878402d54b8b5ce96
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:33:49 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:34:08 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f9ebf159
dev-ml/core_kernel: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.16.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
index be1df007fb3c..a047c011c497 100644
--- a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2024-06-02 19:41 Arthur Zamarin
0 siblings, 0 replies; 46+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:41 UTC (permalink / raw
To: gentoo-commits
commit: 13eb3bd1fa6fbf6b0067786d66cdea24066c8f8e
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:39:40 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:39:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13eb3bd1
dev-ml/core_kernel: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
index a047c011c497..cd6ffac5eac7 100644
--- a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2024-06-02 19:46 Arthur Zamarin
0 siblings, 0 replies; 46+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:46 UTC (permalink / raw
To: gentoo-commits
commit: 9520ab76754c52b587c04738123b95efa1c26165
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:44:22 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:44:22 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9520ab76
dev-ml/core_kernel: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
index c042426d1fcd..f1677250eed2 100644
--- a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/
@ 2024-06-12 5:40 Arthur Zamarin
0 siblings, 0 replies; 46+ messages in thread
From: Arthur Zamarin @ 2024-06-12 5:40 UTC (permalink / raw
To: gentoo-commits
commit: a61fd478c1de30b6ebc46b1c5dca1db3fcd4a57e
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 12 05:37:47 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 12 05:37:47 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a61fd478
dev-ml/core_kernel: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/core_kernel/core_kernel-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
index f1677250eed2..fbff9c2b3e9e 100644
--- a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
# Wants quickcheck_deprecated for now
^ permalink raw reply related [flat|nested] 46+ messages in thread
end of thread, other threads:[~2024-06-12 5:40 UTC | newest]
Thread overview: 46+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-04-30 0:21 [gentoo-commits] repo/gentoo:master commit in: dev-ml/core_kernel/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2024-06-12 5:40 Arthur Zamarin
2024-06-02 19:46 Arthur Zamarin
2024-06-02 19:41 Arthur Zamarin
2024-06-02 19:36 Arthur Zamarin
2024-06-02 12:25 Alfredo Tupone
2023-07-02 13:03 Alfredo Tupone
2023-06-15 18:20 Arthur Zamarin
2023-04-30 1:14 Sam James
2023-04-30 0:21 Sam James
2023-04-19 20:47 Alfredo Tupone
2023-02-24 22:20 Sam James
2023-02-20 20:27 Arthur Zamarin
2023-02-10 8:28 Yixun Lan
2023-01-27 0:30 Sam James
2022-10-15 16:24 Alfredo Tupone
2022-10-14 21:22 Alfredo Tupone
2022-04-26 17:13 Alfredo Tupone
2022-01-31 1:14 Maciej Barć
2021-10-06 1:02 Sam James
2021-03-13 14:05 Sam James
2021-03-07 19:22 Alfredo Tupone
2021-03-04 14:28 Agostino Sarubbo
2021-02-25 17:54 Sam James
2021-02-25 13:09 Sam James
2021-02-21 8:11 Sam James
2021-02-10 16:38 Sam James
2021-01-28 20:25 Sam James
2021-01-28 2:48 Sam James
2021-01-27 19:53 Sam James
2021-01-27 8:34 Sam James
2021-01-27 7:22 Sam James
2021-01-27 2:08 Sam James
2021-01-27 2:01 Sam James
2021-01-27 2:01 Sam James
2021-01-24 17:10 Sam James
2021-01-24 17:10 Sam James
2021-01-24 16:06 Sam James
2017-11-10 17:42 Alexis Ballier
2017-01-24 11:07 Alexis Ballier
2016-03-23 13:59 Alexis Ballier
2016-03-22 10:56 Alexis Ballier
2016-02-05 20:59 Alexis Ballier
2015-09-19 14:03 Alexis Ballier
2015-09-04 17:06 Alexis Ballier
2015-09-04 16:34 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox