* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tydi/
@ 2023-07-02 7:22 Alfredo Tupone
0 siblings, 0 replies; 5+ messages in thread
From: Alfredo Tupone @ 2023-07-02 7:22 UTC (permalink / raw
To: gentoo-commits
commit: 8922e4bff9756ce43b6619426ff985a1799377f7
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 2 06:42:37 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul 2 07:21:55 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8922e4bf
dev-ml/ppx_tydi: new package, add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_tydi/Manifest | 1 +
dev-ml/ppx_tydi/metadata.xml | 11 +++++++++++
dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild | 23 +++++++++++++++++++++++
3 files changed, 35 insertions(+)
diff --git a/dev-ml/ppx_tydi/Manifest b/dev-ml/ppx_tydi/Manifest
new file mode 100644
index 000000000000..924e89640804
--- /dev/null
+++ b/dev-ml/ppx_tydi/Manifest
@@ -0,0 +1 @@
+DIST ppx_tydi-0.16.0.tar.gz 4583 BLAKE2B b0390da844dacdbe0492dcf9141ae4356ed8b08af328b51a8f6bd7190b58dd4590606f2375338ce5f799ed140b4652e400c5e68ea2dee8a939a464fe9d681513 SHA512 83e72699901af6dfb786f1f0a381f4a2eec6c5d51c98ec2ab76f0f107d87da7c406278a9e71c09fc7a43b8cd19cd97f87f3ba7adea2efe55fb882cd65b81d60b
diff --git a/dev-ml/ppx_tydi/metadata.xml b/dev-ml/ppx_tydi/metadata.xml
new file mode 100644
index 000000000000..0b17f6b4c3ea
--- /dev/null
+++ b/dev-ml/ppx_tydi/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/ppx_tydi</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
new file mode 100644
index 000000000000..0ff29936db4c
--- /dev/null
+++ b/dev-ml/ppx_tydi/ppx_tydi-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="Let expressions, inferring pattern type from expression"
+HOMEPAGE="https://github.com/janestreet/ppx_tydi"
+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:=
+"
+RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tydi/
@ 2024-06-02 19:36 Arthur Zamarin
0 siblings, 0 replies; 5+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:36 UTC (permalink / raw
To: gentoo-commits
commit: 0b28f35c6690fcdaf3761bbf223a504cfb4ae17f
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:33:46 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:34:06 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0b28f35c
dev-ml/ppx_tydi: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
index 0ff29936db4c..3d361eb708ee 100644
--- a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
+++ b/dev-ml/ppx_tydi/ppx_tydi-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
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz
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] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tydi/
@ 2024-06-02 19:41 Arthur Zamarin
0 siblings, 0 replies; 5+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:41 UTC (permalink / raw
To: gentoo-commits
commit: 18f6379374b5f0abbdd18c3bfeecb49b7726cb5f
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:39:36 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:39:36 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=18f63793
dev-ml/ppx_tydi: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
index 3d361eb708ee..59831621477c 100644
--- a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
+++ b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz
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] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tydi/
@ 2024-06-02 19:46 Arthur Zamarin
0 siblings, 0 replies; 5+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:46 UTC (permalink / raw
To: gentoo-commits
commit: 04c40385dd96811f0ef969ce71a43751b6fa58ae
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:44:19 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:44:19 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=04c40385
dev-ml/ppx_tydi: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
index 0fa390e3fe29..cfc5475772da 100644
--- a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
+++ b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz
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] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tydi/
@ 2024-06-12 5:40 Arthur Zamarin
0 siblings, 0 replies; 5+ messages in thread
From: Arthur Zamarin @ 2024-06-12 5:40 UTC (permalink / raw
To: gentoo-commits
commit: 3a55fbf8919f7bb7cc0d784f4325d37170aa1604
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 12 05:37:43 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 12 05:37:43 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3a55fbf8
dev-ml/ppx_tydi: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
index cfc5475772da..c22db3ebd6b7 100644
--- a/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
+++ b/dev-ml/ppx_tydi/ppx_tydi-0.16.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz
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] 5+ messages in thread
end of thread, other threads:[~2024-06-12 5:40 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-06-02 19:36 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tydi/ Arthur Zamarin
-- 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
2023-07-02 7:22 Alfredo Tupone
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox