* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2023-03-16 13:42 Alfredo Tupone
0 siblings, 0 replies; 20+ messages in thread
From: Alfredo Tupone @ 2023-03-16 13:42 UTC (permalink / raw
To: gentoo-commits
commit: df4a2b6b1141b6f484e3e60256a22792b8c976b2
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 16 13:21:55 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Mar 16 13:21:55 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df4a2b6b
dev-ml/ppx_optional: stabilize 0.15.0 for amd64
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 92e8050422a0..66b76d34c7d4 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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="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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2024-06-12 5:40 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2024-06-12 5:40 UTC (permalink / raw
To: gentoo-commits
commit: 443c54c54647a507b9401e9508e59d144b259ba4
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 12 05:37:41 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 12 05:37:41 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=443c54c5
dev-ml/ppx_optional: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 7d6ca6e257e0..9ec5848c09bd 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.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/$(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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2024-06-02 19:46 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:46 UTC (permalink / raw
To: gentoo-commits
commit: 7e1672d9866cf5d550c3610c2b2ff70ff42e10bb
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:44:17 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:44:17 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e1672d9
dev-ml/ppx_optional: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 312432c56dd9..7d6ca6e257e0 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.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/$(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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2024-06-02 19:41 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:41 UTC (permalink / raw
To: gentoo-commits
commit: 9d9c37d41d4ee78dacaa6da00d03af92b454c95b
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:39:35 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:39:35 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d9c37d4
dev-ml/ppx_optional: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 1179088c5570..077dbcc96bf9 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.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/$(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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2024-06-02 19:36 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:36 UTC (permalink / raw
To: gentoo-commits
commit: 38250ef81a80a58a99e22b2ae455bf6f19f991bd
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:33:44 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:34:05 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=38250ef8
dev-ml/ppx_optional: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 6ee953269bce..1179088c5570 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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="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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2023-06-30 20:07 Alfredo Tupone
0 siblings, 0 replies; 20+ messages in thread
From: Alfredo Tupone @ 2023-06-30 20:07 UTC (permalink / raw
To: gentoo-commits
commit: 9de4bf79591fb17f6c098b6fa4d7fb3c2f890270
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 30 19:58:41 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 30 20:05:38 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9de4bf79
dev-ml/ppx_optional: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_optional/Manifest | 1 +
dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 23 +++++++++++++++++++++++
2 files changed, 24 insertions(+)
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 4008ef2eeb4c..7ad5e9f1b091 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,2 +1,3 @@
DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
+DIST ppx_optional-0.16.0.tar.gz 8333 BLAKE2B 1e977c8c06a9db1247d17a4795d7cd849ca6280b2a2367de3ffe7071f18a88d2e0afc1dbbed3e8b1a01b454623e730d2b7b8e4d378ed0e55df016ecc36c8a4cc SHA512 07e812d46aef13e835dfc31e4eab17c656ad98e85843337d8f9361038c78bbcfceedaa64774784ffd84cb11e58c142e6c9bfab6d6c31eddf86b0e860f9a315a5
diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
new file mode 100644
index 000000000000..6ee953269bce
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Pattern matching on flat options"
+HOMEPAGE="https://github.com/janestreet/ppx_optional"
+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
+ dev-ml/base:${SLOT}
+ >=dev-ml/ppxlib-0.28.0:=
+ dev-ml/result:=
+"
+RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2023-03-25 6:35 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2023-03-25 6:35 UTC (permalink / raw
To: gentoo-commits
commit: 654d0b1b838f8987766c2d0a8a94d8a608a7c34a
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 06:34:56 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 06:34:56 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=654d0b1b
dev-ml/ppx_optional: Stabilize 0.15.0 x86, #901581
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 272b217308c3..45a5263c405e 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2023-03-24 20:57 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2023-03-24 20:57 UTC (permalink / raw
To: gentoo-commits
commit: 4a01f08714ac81db1be0a4b921ffe1e348dc6033
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 24 20:57:44 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 24 20:57:44 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a01f087
dev-ml/ppx_optional: Stabilize 0.15.0 arm, #901581
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 92f2215ca7d6..272b217308c3 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2023-03-24 20:56 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2023-03-24 20:56 UTC (permalink / raw
To: gentoo-commits
commit: e184e29bce33c95d83b68153eea6ba6e13dcaa15
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 24 20:56:00 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 24 20:56:00 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e184e29b
dev-ml/ppx_optional: Stabilize 0.15.0 ppc64, #901581
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 5fc35fd28088..92f2215ca7d6 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2023-03-24 20:51 Arthur Zamarin
0 siblings, 0 replies; 20+ messages in thread
From: Arthur Zamarin @ 2023-03-24 20:51 UTC (permalink / raw
To: gentoo-commits
commit: bcc90ea1b516e043fd25b4c660eaf3d43ee2e7fa
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 24 20:51:15 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 24 20:51:15 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcc90ea1
dev-ml/ppx_optional: Stabilize 0.15.0 arm64, #901581
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 66b76d34c7d4..5fc35fd28088 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2022-10-19 20:42 Alfredo Tupone
0 siblings, 0 replies; 20+ messages in thread
From: Alfredo Tupone @ 2022-10-19 20:42 UTC (permalink / raw
To: gentoo-commits
commit: 1e20391d38afc7a1a0b76cc783251e08595d9c99
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 19 20:31:27 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Oct 19 20:41:26 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1e20391d
dev-ml/ppx_optional: adj deps
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index c2135f01b6e9..fde2b028fbcc 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
@@ -17,7 +17,8 @@ IUSE="+ocamlopt"
DEPEND="
dev-ml/base:=
dev-ml/ppxlib:=
- dev-ml/ocaml-migrate-parsetree:=
- dev-ml/result:=
+ dev-ml/ocaml-migrate-parsetree:=
+ dev-ml/result:=
+ dev-ml/sexplib0:=
"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2022-04-25 17:11 Alfredo Tupone
0 siblings, 0 replies; 20+ messages in thread
From: Alfredo Tupone @ 2022-04-25 17:11 UTC (permalink / raw
To: gentoo-commits
commit: 2ed0517246e293c3f87242c459af307c36620b1b
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 25 17:11:22 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Apr 25 17:11:22 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ed05172
dev-ml/ppx_optional: 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/ppx_optional/Manifest | 1 +
dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 22 ++++++++++++++++++++++
2 files changed, 23 insertions(+)
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 570af5344c3b..4008ef2eeb4c 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1 +1,2 @@
DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
+DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
new file mode 100644
index 000000000000..92e8050422a0
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Pattern matching on flat options"
+HOMEPAGE="https://github.com/janestreet/ppx_optional"
+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-ml/base:${SLOT}
+ >=dev-ml/ppxlib-0.23.0:=
+ dev-ml/result:=
+"
+RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2021-03-07 18:23 Alfredo Tupone
0 siblings, 0 replies; 20+ messages in thread
From: Alfredo Tupone @ 2021-03-07 18:23 UTC (permalink / raw
To: gentoo-commits
commit: 102b928ee3299528f36f597b42a65484aef338d8
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 7 18:06:55 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Mar 7 18:22:01 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=102b928e
dev-ml/ppx_optional: rm old version
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_optional/Manifest | 1 -
dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | 24 ------------------------
2 files changed, 25 deletions(-)
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 7782ba09d70..570af5344c3 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,2 +1 @@
DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
-DIST ppx_optional-0.9.0.tar.gz 6940 BLAKE2B 28b9ab2b8cc20f295e927533ff9eed694289987914105758d3c014d06064bd21016d44bc7ad72b331a4c887848ed9c2dd75a0a48b6d5f330de898087596d1cc3 SHA512 c341bc8e64b7caf7af5c878747697330db84b14959f22930dd6919cc861dce847983771cbad2ed7800ab8c64704e88fa0d8db3ca7c8f2924bf785a4dccd17fa0
diff --git a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
deleted file mode 100644
index 55a77ef1493..00000000000
--- a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Pattern matching on flat options"
-HOMEPAGE="https://github.com/janestreet/ppx_optional"
-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-ml/ppx_core:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_metaquot:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND} dev-ml/jbuilder"
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2021-02-11 6:26 Sam James
0 siblings, 0 replies; 20+ messages in thread
From: Sam James @ 2021-02-11 6:26 UTC (permalink / raw
To: gentoo-commits
commit: 14a898ddf21bae160a7f55212c22da796975c6e9
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 11 06:25:30 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Feb 11 06:25:30 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=14a898dd
dev-ml/ppx_optional: Stabilize 0.14.0 x86, #769317
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 183c022cedf..159480dcd66 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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 ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2021-02-10 18:53 Sam James
0 siblings, 0 replies; 20+ messages in thread
From: Sam James @ 2021-02-10 18:53 UTC (permalink / raw
To: gentoo-commits
commit: 999e0f049adfc878682208c045d86b467cf46671
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 10 18:52:44 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Feb 10 18:52:44 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=999e0f04
dev-ml/ppx_optional: Stabilize 0.14.0 amd64, #769317
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 2980f23cdb8..183c022cedf 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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 ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2020-10-24 0:38 Sam James
0 siblings, 0 replies; 20+ messages in thread
From: Sam James @ 2020-10-24 0:38 UTC (permalink / raw
To: gentoo-commits
commit: 9ac351564c619b571fc120162189eeaed466ba8d
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 24 00:16:11 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 24 00:16:11 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ac35156
dev-ml/ppx_optional: Keyword 0.14.0 ppc, #748576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 1aeaf6390a1..b60d571a2ea 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2020-10-17 1:16 Sam James
0 siblings, 0 replies; 20+ messages in thread
From: Sam James @ 2020-10-17 1:16 UTC (permalink / raw
To: gentoo-commits
commit: 046aba5666fa650850045595e46dcb4dfb67ad83
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 17 01:08:22 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 17 01:08:22 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=046aba56
dev-ml/ppx_optional: Keyword 0.14.0 x86, #748936
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index c29b9a1c25d..1aeaf6390a1 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2020-10-15 12:42 Sam James
0 siblings, 0 replies; 20+ messages in thread
From: Sam James @ 2020-10-15 12:42 UTC (permalink / raw
To: gentoo-commits
commit: ec6da19b62ada25f0b2cb5881fdcfeb0b42dd763
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 12:40:25 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 12:41:57 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ec6da19b
dev-ml/ppx_optional: arm64 keyworded (bug #748936)
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 4cf56eb26f1..c29b9a1c25d 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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"
+KEYWORDS="~amd64 ~arm ~arm64"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2020-10-15 1:19 Sam James
0 siblings, 0 replies; 20+ messages in thread
From: Sam James @ 2020-10-15 1:19 UTC (permalink / raw
To: gentoo-commits
commit: 941984f4620c758efec0f7c953edeb435b224f35
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 01:16:26 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 01:16:26 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=941984f4
dev-ml/ppx_optional: Keyword 0.14.0 arm, #748936
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 49577612a83..4cf56eb26f1 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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"
+KEYWORDS="~amd64 ~arm"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 20+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/
@ 2017-08-15 7:26 Alexis Ballier
0 siblings, 0 replies; 20+ messages in thread
From: Alexis Ballier @ 2017-08-15 7:26 UTC (permalink / raw
To: gentoo-commits
commit: bed66c0e262f1aaabf720660031eb002b2e190ff
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Aug 15 07:20:16 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Aug 15 07:26:12 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bed66c0e
dev-ml/ppx_optional: convert to opam.eclass
Package-Manager: Portage-2.3.7, Repoman-2.3.3
dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | 13 +++----------
1 file changed, 3 insertions(+), 10 deletions(-)
diff --git a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
index f8bbaf9cb1c..55a77ef1493 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
@@ -3,6 +3,8 @@
EAPI=6
+inherit opam
+
DESCRIPTION="Pattern matching on flat options"
HOMEPAGE="https://github.com/janestreet/ppx_optional"
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
@@ -13,19 +15,10 @@ KEYWORDS="~amd64"
IUSE=""
DEPEND="
- dev-lang/ocaml:=
dev-ml/ppx_core:=
dev-ml/ppx_driver:=
dev-ml/ppx_metaquot:=
dev-ml/ocaml-migrate-parsetree:=
"
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
-}
+DEPEND="${DEPEND} dev-ml/jbuilder"
^ permalink raw reply related [flat|nested] 20+ messages in thread
end of thread, other threads:[~2024-06-12 5:40 UTC | newest]
Thread overview: 20+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-03-16 13:42 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_optional/ Alfredo Tupone
-- 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
2023-06-30 20:07 Alfredo Tupone
2023-03-25 6:35 Arthur Zamarin
2023-03-24 20:57 Arthur Zamarin
2023-03-24 20:56 Arthur Zamarin
2023-03-24 20:51 Arthur Zamarin
2022-10-19 20:42 Alfredo Tupone
2022-04-25 17:11 Alfredo Tupone
2021-03-07 18:23 Alfredo Tupone
2021-02-11 6:26 Sam James
2021-02-10 18:53 Sam James
2020-10-24 0:38 Sam James
2020-10-17 1:16 Sam James
2020-10-15 12:42 Sam James
2020-10-15 1:19 Sam James
2017-08-15 7:26 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox