public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
@ 2020-10-24  0:38 Sam James
  0 siblings, 0 replies; 7+ messages in thread
From: Sam James @ 2020-10-24  0:38 UTC (permalink / raw
  To: gentoo-commits

commit:     26435ade07727afcee288a3446365e605dd0b7a4
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 24 00:16:16 2020 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 24 00:16:16 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=26435ade

dev-ml/jane-street-headers: Keyword 0.14.0 ppc, #748576

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
index bc24c70774d..9e29727f714 100644
--- a/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
 IUSE="+ocamlopt"
 
 DEPEND=""


^ permalink raw reply related	[flat|nested] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
@ 2020-10-28  3:36 Sam James
  0 siblings, 0 replies; 7+ messages in thread
From: Sam James @ 2020-10-28  3:36 UTC (permalink / raw
  To: gentoo-commits

commit:     d129fc7162559dbd18436dc29380fac14562991d
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 28 03:29:25 2020 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 28 03:29:25 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d129fc71

dev-ml/jane-street-headers: ppc64 keyworded (bug #748576)

Package-Manager: Portage-3.0.8, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
index 9e29727f714..6259e00f7a7 100644
--- a/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
 IUSE="+ocamlopt"
 
 DEPEND=""


^ permalink raw reply related	[flat|nested] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
@ 2021-03-07 19:55 Alfredo Tupone
  0 siblings, 0 replies; 7+ messages in thread
From: Alfredo Tupone @ 2021-03-07 19:55 UTC (permalink / raw
  To: gentoo-commits

commit:     863901a585e09c8491c4bca9d6e40445a2db6f01
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Mar  7 19:44:12 2021 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Mar  7 19:55:09 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=863901a5

dev-ml/jane-street-headers: rm old version

Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/jane-street-headers/Manifest                |  1 -
 .../jane-street-headers-0.9.0.ebuild               | 27 ----------------------
 2 files changed, 28 deletions(-)

diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest
index 7575bc0466f..ecabfb3f1e0 100644
--- a/dev-ml/jane-street-headers/Manifest
+++ b/dev-ml/jane-street-headers/Manifest
@@ -1,2 +1 @@
 DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879
-DIST jane-street-headers-0.9.0.tar.gz 6713 BLAKE2B fa8461922ad5e9c28fecb29bfb630d6b1578c8440ad82ab841da17c32ebdfef8ecac90ca66721aef06321a085e2b927904ced4c5a1c8ee6b3cc969dfcbf761bd SHA512 dbd1198b7eb45f06f7df6e9c5b66589b6004e9424f2ecdd50d20c3dc2f35048c42f9220f1d03b4b6564e7a79d00dbe3b3c9c767600e78d066266093b8d93ad46

diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.9.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.9.0.ebuild
deleted file mode 100644
index 66f7cb6cec8..00000000000
--- a/dev-ml/jane-street-headers/jane-street-headers-0.9.0.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="Jane Street header files"
-HOMEPAGE="https://github.com/janestreet/jane-street-headers"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="
-	dev-lang/ocaml:=
-	"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND} 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] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
@ 2022-01-30 11:42 Alfredo Tupone
  0 siblings, 0 replies; 7+ messages in thread
From: Alfredo Tupone @ 2022-01-30 11:42 UTC (permalink / raw
  To: gentoo-commits

commit:     9e712584db32d13d307237f2873cb13345dc0484
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 30 11:42:40 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jan 30 11:42:40 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e712584

dev-ml/jane-street-headers: 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/jane-street-headers/Manifest                    |  1 +
 .../jane-street-headers-0.15.0.ebuild                  | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)

diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest
index ecabfb3f1e03..22f7706a4840 100644
--- a/dev-ml/jane-street-headers/Manifest
+++ b/dev-ml/jane-street-headers/Manifest
@@ -1 +1,2 @@
 DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879
+DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f

diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild
new file mode 100644
index 000000000000..9a59ce4395d8
--- /dev/null
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild
@@ -0,0 +1,18 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Jane Street header files"
+HOMEPAGE="https://github.com/janestreet/jane-street-headers"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+DEPEND=""
+RDEPEND="${DEPEND}"


^ permalink raw reply related	[flat|nested] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
@ 2022-04-24 13:34 Alfredo Tupone
  0 siblings, 0 replies; 7+ messages in thread
From: Alfredo Tupone @ 2022-04-24 13:34 UTC (permalink / raw
  To: gentoo-commits

commit:     6621cc9c68aa5905e30568ef922e4f095462d09b
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 24 13:34:05 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Apr 24 13:34:05 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6621cc9c

dev-ml/jane-street-headers: change SLOT

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 ...eet-headers-0.15.0.ebuild => jane-street-headers-0.15.0-r1.ebuild} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
similarity index 93%
rename from dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild
rename to dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
index 216133ae7a2f..a4c44d1b6a3f 100644
--- a/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
@@ -1,7 +1,7 @@
 # Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI=7
+EAPI=8
 
 inherit dune
 
@@ -10,7 +10,7 @@ HOMEPAGE="https://github.com/janestreet/jane-street-headers"
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
 
 LICENSE="Apache-2.0"
-SLOT="0/${PV}"
+SLOT="0/$(ver_cut 1-2)"
 KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 


^ permalink raw reply related	[flat|nested] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
@ 2023-03-17 10:07 Arthur Zamarin
  0 siblings, 0 replies; 7+ messages in thread
From: Arthur Zamarin @ 2023-03-17 10:07 UTC (permalink / raw
  To: gentoo-commits

commit:     8ba371d476231d4f39c3f6bd5f4081ef23f8949a
Author:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 17 10:06:56 2023 +0000
Commit:     Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 17 10:06:56 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8ba371d4

dev-ml/jane-street-headers: Stabilize 0.15.0-r1 ppc64, #901541

Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>

 dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
index 2642db3dd897..d5946674994d 100644
--- a/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.15.0-r1.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 DEPEND=""


^ permalink raw reply related	[flat|nested] 7+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
@ 2023-06-30 13:14 Alfredo Tupone
  0 siblings, 0 replies; 7+ messages in thread
From: Alfredo Tupone @ 2023-06-30 13:14 UTC (permalink / raw
  To: gentoo-commits

commit:     638b0c0394bcc0f7e625788ee21c0c8919731bbd
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 30 10:57:34 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 30 13:13:19 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=638b0c03

dev-ml/jane-street-headers: add 0.16.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/jane-street-headers/Manifest                    |  1 +
 .../jane-street-headers-0.16.0.ebuild                  | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)

diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest
index 22f7706a4840..0bacd48796fd 100644
--- a/dev-ml/jane-street-headers/Manifest
+++ b/dev-ml/jane-street-headers/Manifest
@@ -1,2 +1,3 @@
 DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879
 DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f
+DIST jane-street-headers-0.16.0.tar.gz 4905 BLAKE2B 33301bd5221fb636a44a3e654ae1511d99645e0dbfea4f9765f5d2febf9cdab03d6a9a15f7cf1733ffa380e7c9fa5743d66487feda0e2e2088d1e748775e607c SHA512 05336733845b442e3594889ac6e8fe7048bb3fc23b5f8a05e48d42db6851e4aac561587a1e73b9d6fb1852b768dd66b949cd220b1a9effe83dd181707ea2ab24

diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild
new file mode 100644
index 000000000000..6d45dbd92106
--- /dev/null
+++ b/dev-ml/jane-street-headers/jane-street-headers-0.16.0.ebuild
@@ -0,0 +1,18 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Jane Street header files"
+HOMEPAGE="https://github.com/janestreet/jane-street-headers"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.14"
+RDEPEND="${DEPEND}"


^ permalink raw reply related	[flat|nested] 7+ messages in thread
end of thread, other threads:[~2023-06-30 13:14 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-10-28  3:36 [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/ Sam James
  -- strict thread matches above, loose matches on Subject: below --
2023-06-30 13:14 Alfredo Tupone
2023-03-17 10:07 Arthur Zamarin
2022-04-24 13:34 Alfredo Tupone
2022-01-30 11:42 Alfredo Tupone
2021-03-07 19:55 Alfredo Tupone
2020-10-24  0:38 Sam James

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox