* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-05-15 19:32 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-05-15 19:32 UTC (permalink / raw
To: gentoo-commits
commit: 181a2eb42b11b178c7751fde15435bfa3ffa0203
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat May 15 19:32:18 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat May 15 19:32:18 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=181a2eb4
dev-ml/rresult: Keyword 0.5.0 arm, #788406
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.5.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index 5c600e8a5ab..43bfcd08be0 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64"
IUSE=""
RDEPEND="dev-ml/result:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2023-03-17 14:11 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2023-03-17 14:11 UTC (permalink / raw
To: gentoo-commits
commit: 75ab64858053087a4d37ca23ea451fca691849dc
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 17 14:10:27 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 17 14:10:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75ab6485
dev-ml/rresult: Stabilize 0.7.0 ppc64, #901657
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.7.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.7.0.ebuild b/dev-ml/rresult/rresult-0.7.0.ebuild
index bd8a01bec87a..80ad93979a37 100644
--- a/dev-ml/rresult/rresult-0.7.0.ebuild
+++ b/dev-ml/rresult/rresult-0.7.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
RDEPEND="dev-ml/result:=
>=dev-lang/ocaml-4.08:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2023-03-16 23:16 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2023-03-16 23:16 UTC (permalink / raw
To: gentoo-commits
commit: 640211be8fb7db5b65d6669fe4329e43c9e2f565
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 16 23:14:58 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Mar 16 23:14:58 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=640211be
dev-ml/rresult: Stabilize 0.7.0 arm, #901657
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.7.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/rresult/rresult-0.7.0.ebuild b/dev-ml/rresult/rresult-0.7.0.ebuild
index 772de481dc8e..5647454871d1 100644
--- a/dev-ml/rresult/rresult-0.7.0.ebuild
+++ b/dev-ml/rresult/rresult-0.7.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=7
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
RDEPEND="dev-ml/result:=
>=dev-lang/ocaml-4.08:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2023-03-16 23:16 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2023-03-16 23:16 UTC (permalink / raw
To: gentoo-commits
commit: f8e1c5c9c7d8b336827f047ceb039707aa23c793
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 16 23:15:00 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Mar 16 23:15:00 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f8e1c5c9
dev-ml/rresult: Stabilize 0.7.0 arm64, #901657
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.7.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.7.0.ebuild b/dev-ml/rresult/rresult-0.7.0.ebuild
index 5647454871d1..c214f6a76074 100644
--- a/dev-ml/rresult/rresult-0.7.0.ebuild
+++ b/dev-ml/rresult/rresult-0.7.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~riscv ~x86"
RDEPEND="dev-ml/result:=
>=dev-lang/ocaml-4.08:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2022-07-24 11:28 David Seifert
0 siblings, 0 replies; 23+ messages in thread
From: David Seifert @ 2022-07-24 11:28 UTC (permalink / raw
To: gentoo-commits
commit: 39b7791b4bb7537664dad3e399879bf540ddf60c
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 24 11:28:13 2022 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sun Jul 24 11:28:13 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=39b7791b
dev-ml/rresult: drop 0.5.0
Signed-off-by: David Seifert <soap <AT> gentoo.org>
dev-ml/rresult/Manifest | 1 -
dev-ml/rresult/rresult-0.5.0.ebuild | 24 ------------------------
2 files changed, 25 deletions(-)
diff --git a/dev-ml/rresult/Manifest b/dev-ml/rresult/Manifest
index b0020a6c01ad..356483263687 100644
--- a/dev-ml/rresult/Manifest
+++ b/dev-ml/rresult/Manifest
@@ -1,3 +1,2 @@
-DIST rresult-0.5.0.tbz 9185 BLAKE2B efe8d248aa3d68b13b011dccb98cb04127dfec9d659dfe8619f658b254cfcdca833e125310553dee54ef4be239c308e762d2290386f4fd08a5f2c1835faa9ef1 SHA512 45787b61adb7daedf72e4ff632cf3d4917bccb3e83613dabf93437982887d9a0ed3b6cbefb2b17cb341a825346cb0609286df581c6ff379583dc83672ee25efc
DIST rresult-0.6.0.tbz 7731 BLAKE2B d93b4a3fe54541101d52e768555aa306f87d1c34b57c7eb7a92092051a047586c43dded3be9ef0c84675d935c4a91162a8ff612d540f951f2842cfdf9f709f24 SHA512 66cb7acb525c17dde4e7572fa5a0d925466f8e759b90a12d952ca076d25de49404c962e061557f2255112fbf1d731f8da696acd536cbb9433a4b1d9662095c3a
DIST rresult-0.7.0.tbz 8506 BLAKE2B 0ddb2c2d126e11094d8f92555c6d29fd103cff0393558a9522ad0b58f58159a7eed050976bfeb47969a6c7528c29b8352fa80114ed1684bd5415b2d6b0a30fb1 SHA512 f1bb631c986996388e9686d49d5ae4d8aaf14034f6865c62a88fb58c48ce19ad2eb785327d69ca27c032f835984e0bd2efd969b415438628a31f3e84ec4551d3
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
deleted file mode 100644
index ab19c850466b..000000000000
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Result value combinators for OCaml"
-HOMEPAGE="https://erratique.ch/software/rresult https://github.com/dbuenzli/rresult"
-SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
-
-LICENSE="ISC"
-SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
-IUSE=""
-
-RDEPEND="dev-ml/result:="
-DEPEND="${RDEPEND}
- dev-ml/topkg
- dev-ml/ocamlbuild"
-
-src_compile() {
- ocaml pkg/pkg.ml build || die
-}
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2022-07-24 11:28 David Seifert
0 siblings, 0 replies; 23+ messages in thread
From: David Seifert @ 2022-07-24 11:28 UTC (permalink / raw
To: gentoo-commits
commit: 155eeb027f673ab869e331ae96eb0c89c9b2bd33
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 24 11:28:12 2022 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sun Jul 24 11:28:12 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=155eeb02
dev-ml/rresult: stabilize 0.6.0 for x86
Signed-off-by: David Seifert <soap <AT> gentoo.org>
dev-ml/rresult/rresult-0.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.6.0.ebuild b/dev-ml/rresult/rresult-0.6.0.ebuild
index 982c480b5815..90493d9da475 100644
--- a/dev-ml/rresult/rresult-0.6.0.ebuild
+++ b/dev-ml/rresult/rresult-0.6.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
RDEPEND="dev-ml/result:="
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2022-04-18 21:07 Jakov Smolić
0 siblings, 0 replies; 23+ messages in thread
From: Jakov Smolić @ 2022-04-18 21:07 UTC (permalink / raw
To: gentoo-commits
commit: 9f6766eb0925f74342492f04a28dbedc7e44efb4
Author: Yongxiang Liang <tanekliang <AT> gmail <DOT> com>
AuthorDate: Sun Apr 17 15:41:15 2022 +0000
Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Mon Apr 18 21:06:44 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9f6766eb
dev-ml/rresult: Keyword 0.7.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang <AT> gmail.com>
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>
dev-ml/rresult/rresult-0.7.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/rresult/rresult-0.7.0.ebuild b/dev-ml/rresult/rresult-0.7.0.ebuild
index b398a21a12ae..772de481dc8e 100644
--- a/dev-ml/rresult/rresult-0.7.0.ebuild
+++ b/dev-ml/rresult/rresult-0.7.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
RDEPEND="dev-ml/result:=
>=dev-lang/ocaml-4.08:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-11-03 21:25 Alfredo Tupone
0 siblings, 0 replies; 23+ messages in thread
From: Alfredo Tupone @ 2021-11-03 21:25 UTC (permalink / raw
To: gentoo-commits
commit: f9a0439e399ffe9a8853f7476a7e0e57845f3043
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 3 21:25:12 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Nov 3 21:25:12 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f9a0439e
dev-ml/rresult: bump 0.7.0
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/rresult/Manifest | 1 +
dev-ml/rresult/rresult-0.7.0.ebuild | 24 ++++++++++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/dev-ml/rresult/Manifest b/dev-ml/rresult/Manifest
index 077091a077b..b0020a6c01a 100644
--- a/dev-ml/rresult/Manifest
+++ b/dev-ml/rresult/Manifest
@@ -1,2 +1,3 @@
DIST rresult-0.5.0.tbz 9185 BLAKE2B efe8d248aa3d68b13b011dccb98cb04127dfec9d659dfe8619f658b254cfcdca833e125310553dee54ef4be239c308e762d2290386f4fd08a5f2c1835faa9ef1 SHA512 45787b61adb7daedf72e4ff632cf3d4917bccb3e83613dabf93437982887d9a0ed3b6cbefb2b17cb341a825346cb0609286df581c6ff379583dc83672ee25efc
DIST rresult-0.6.0.tbz 7731 BLAKE2B d93b4a3fe54541101d52e768555aa306f87d1c34b57c7eb7a92092051a047586c43dded3be9ef0c84675d935c4a91162a8ff612d540f951f2842cfdf9f709f24 SHA512 66cb7acb525c17dde4e7572fa5a0d925466f8e759b90a12d952ca076d25de49404c962e061557f2255112fbf1d731f8da696acd536cbb9433a4b1d9662095c3a
+DIST rresult-0.7.0.tbz 8506 BLAKE2B 0ddb2c2d126e11094d8f92555c6d29fd103cff0393558a9522ad0b58f58159a7eed050976bfeb47969a6c7528c29b8352fa80114ed1684bd5415b2d6b0a30fb1 SHA512 f1bb631c986996388e9686d49d5ae4d8aaf14034f6865c62a88fb58c48ce19ad2eb785327d69ca27c032f835984e0bd2efd969b415438628a31f3e84ec4551d3
diff --git a/dev-ml/rresult/rresult-0.7.0.ebuild b/dev-ml/rresult/rresult-0.7.0.ebuild
new file mode 100644
index 00000000000..b398a21a12a
--- /dev/null
+++ b/dev-ml/rresult/rresult-0.7.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit opam
+
+DESCRIPTION="Result value combinators for OCaml"
+HOMEPAGE="https://erratique.ch/software/rresult https://github.com/dbuenzli/rresult"
+SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+
+RDEPEND="dev-ml/result:=
+ >=dev-lang/ocaml-4.08:="
+DEPEND="${RDEPEND}"
+BDEPEND="dev-ml/topkg
+ dev-ml/ocamlbuild"
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-10-14 9:44 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-10-14 9:44 UTC (permalink / raw
To: gentoo-commits
commit: 84b9e33520edbc32e22dbe303deb88d1e537e715
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 14 09:44:06 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 14 09:44:06 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=84b9e335
dev-ml/rresult: Stabilize 0.5.0 x86, #815910
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.5.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index 9144c414ce8..3d12ef8d3f7 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ppc ppc64 ~x86"
+KEYWORDS="amd64 arm arm64 ppc ppc64 x86"
IUSE=""
RDEPEND="dev-ml/result:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-10-14 3:25 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-10-14 3:25 UTC (permalink / raw
To: gentoo-commits
commit: 5560621e59c01282a429a20a04b0a565b1a60ec3
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 14 03:23:46 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 14 03:23:46 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5560621e
dev-ml/rresult: Stabilize 0.6.0 arm, #817740
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.6.0.ebuild b/dev-ml/rresult/rresult-0.6.0.ebuild
index cac857b5308..cdea5cc2d55 100644
--- a/dev-ml/rresult/rresult-0.6.0.ebuild
+++ b/dev-ml/rresult/rresult-0.6.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm arm64 ppc ppc64 ~x86"
+KEYWORDS="amd64 arm arm64 ppc ppc64 ~x86"
RDEPEND="dev-ml/result:="
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-10-13 20:37 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-10-13 20:37 UTC (permalink / raw
To: gentoo-commits
commit: 197070564ed7c2918035d3a51771802eb1a17b63
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 13 20:36:23 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 13 20:36:23 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=19707056
dev-ml/rresult: Stabilize 0.6.0 arm64, #817740
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.6.0.ebuild b/dev-ml/rresult/rresult-0.6.0.ebuild
index 7e47f573cd5..cac857b5308 100644
--- a/dev-ml/rresult/rresult-0.6.0.ebuild
+++ b/dev-ml/rresult/rresult-0.6.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 ~x86"
+KEYWORDS="amd64 ~arm arm64 ppc ppc64 ~x86"
RDEPEND="dev-ml/result:="
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-10-11 8:09 Agostino Sarubbo
0 siblings, 0 replies; 23+ messages in thread
From: Agostino Sarubbo @ 2021-10-11 8:09 UTC (permalink / raw
To: gentoo-commits
commit: fd12c88298596816d00bbacb4f987a1e5ef614d7
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 11 08:09:31 2021 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Mon Oct 11 08:09:31 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fd12c882
dev-ml/rresult: ppc stable wrt bug #817740
Package-Manager: Portage-3.0.20, Repoman-3.0.3
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-ml/rresult/rresult-0.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.6.0.ebuild b/dev-ml/rresult/rresult-0.6.0.ebuild
index cb7ef4bc083..7e47f573cd5 100644
--- a/dev-ml/rresult/rresult-0.6.0.ebuild
+++ b/dev-ml/rresult/rresult-0.6.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 ~x86"
RDEPEND="dev-ml/result:="
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-10-11 6:00 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-10-11 6:00 UTC (permalink / raw
To: gentoo-commits
commit: 50342fa4d88d3231e07dba1e5f32d9bbe7224918
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 11 05:59:52 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Oct 11 05:59:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=50342fa4
dev-ml/rresult: Stabilize 0.6.0 ppc64, #817740
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.6.0.ebuild b/dev-ml/rresult/rresult-0.6.0.ebuild
index 85686e8cf03..cb7ef4bc083 100644
--- a/dev-ml/rresult/rresult-0.6.0.ebuild
+++ b/dev-ml/rresult/rresult-0.6.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86"
RDEPEND="dev-ml/result:="
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-10-11 5:45 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-10-11 5:45 UTC (permalink / raw
To: gentoo-commits
commit: 574a4ba45fcb278509aecab0ab2b91a6868070de
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 11 05:43:34 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Oct 11 05:43:34 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=574a4ba4
dev-ml/rresult: Stabilize 0.6.0 amd64, #817740
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.6.0.ebuild b/dev-ml/rresult/rresult-0.6.0.ebuild
index 0c47040813b..85686e8cf03 100644
--- a/dev-ml/rresult/rresult-0.6.0.ebuild
+++ b/dev-ml/rresult/rresult-0.6.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
RDEPEND="dev-ml/result:="
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-09-07 0:09 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-09-07 0:09 UTC (permalink / raw
To: gentoo-commits
commit: 99017f390c46aef632bd435096b5e41a183b788d
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 7 00:08:46 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Sep 7 00:08:46 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99017f39
dev-ml/rresult: Stabilize 0.5.0 arm, #804771
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.5.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index ba3733ca9c8..b689f342ebc 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 arm arm64 ~ppc ~ppc64 ~x86"
IUSE=""
RDEPEND="dev-ml/result:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-07-28 2:05 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-07-28 2:05 UTC (permalink / raw
To: gentoo-commits
commit: ca653d37e5fbf4c16e5dba190c849b743a6fe462
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 28 02:01:32 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jul 28 02:01:41 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ca653d37
dev-ml/rresult: adopt for ml@
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/metadata.xml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/dev-ml/rresult/metadata.xml b/dev-ml/rresult/metadata.xml
index 92df0b694db..0f9a40bf925 100644
--- a/dev-ml/rresult/metadata.xml
+++ b/dev-ml/rresult/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>
<upstream>
<remote-id type="github">dbuenzli/rresult</remote-id>
</upstream>
^ permalink raw reply related [flat|nested] 23+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-07-28 2:05 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-07-28 2:05 UTC (permalink / raw
To: gentoo-commits
commit: 67b0ad5ae13edbe4b4966e7bf3412c71f8d58d22
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 28 02:04:04 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jul 28 02:04:04 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=67b0ad5a
dev-ml/rresult: add 0.6.0
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/Manifest | 1 +
dev-ml/rresult/rresult-0.6.0.ebuild | 23 +++++++++++++++++++++++
2 files changed, 24 insertions(+)
diff --git a/dev-ml/rresult/Manifest b/dev-ml/rresult/Manifest
index 39071840a8c..077091a077b 100644
--- a/dev-ml/rresult/Manifest
+++ b/dev-ml/rresult/Manifest
@@ -1 +1,2 @@
DIST rresult-0.5.0.tbz 9185 BLAKE2B efe8d248aa3d68b13b011dccb98cb04127dfec9d659dfe8619f658b254cfcdca833e125310553dee54ef4be239c308e762d2290386f4fd08a5f2c1835faa9ef1 SHA512 45787b61adb7daedf72e4ff632cf3d4917bccb3e83613dabf93437982887d9a0ed3b6cbefb2b17cb341a825346cb0609286df581c6ff379583dc83672ee25efc
+DIST rresult-0.6.0.tbz 7731 BLAKE2B d93b4a3fe54541101d52e768555aa306f87d1c34b57c7eb7a92092051a047586c43dded3be9ef0c84675d935c4a91162a8ff612d540f951f2842cfdf9f709f24 SHA512 66cb7acb525c17dde4e7572fa5a0d925466f8e759b90a12d952ca076d25de49404c962e061557f2255112fbf1d731f8da696acd536cbb9433a4b1d9662095c3a
diff --git a/dev-ml/rresult/rresult-0.6.0.ebuild b/dev-ml/rresult/rresult-0.6.0.ebuild
new file mode 100644
index 00000000000..0c47040813b
--- /dev/null
+++ b/dev-ml/rresult/rresult-0.6.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit opam
+
+DESCRIPTION="Result value combinators for OCaml"
+HOMEPAGE="https://erratique.ch/software/rresult https://github.com/dbuenzli/rresult"
+SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+
+RDEPEND="dev-ml/result:="
+DEPEND="${RDEPEND}"
+BDEPEND="dev-ml/topkg
+ dev-ml/ocamlbuild"
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-07-28 1:48 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-07-28 1:48 UTC (permalink / raw
To: gentoo-commits
commit: 270e4dd5f62a0c9743eff9856121c118ccffef0d
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 28 01:47:37 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jul 28 01:47:37 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=270e4dd5
dev-ml/rresult: Keyword 0.5.0 x86, #788406
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.5.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index 43bfcd08be0..9b9cecabf14 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE=""
RDEPEND="dev-ml/result:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-05-15 1:55 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-05-15 1:55 UTC (permalink / raw
To: gentoo-commits
commit: 871b5a7f99b0335ade6be71c9fba4ce00d5eb2c9
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat May 15 01:55:13 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat May 15 01:55:13 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=871b5a7f
dev-ml/rresult: Keyword 0.5.0 arm64, #788406
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.5.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index c6e04c85052..5c600e8a5ab 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc ~ppc64"
+KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
IUSE=""
RDEPEND="dev-ml/result:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-05-10 12:45 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-05-10 12:45 UTC (permalink / raw
To: gentoo-commits
commit: 47a2188a0166fbf525aebf18365ffbc487192202
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon May 10 12:44:38 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon May 10 12:45:31 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=47a2188a
dev-ml/rresult: Keyword 0.5.0 ppc, #788406
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.5.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index 409f7717f54..c6e04c85052 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc64"
+KEYWORDS="~amd64 ~ppc ~ppc64"
IUSE=""
RDEPEND="dev-ml/result:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2021-05-10 12:44 Sam James
0 siblings, 0 replies; 23+ messages in thread
From: Sam James @ 2021-05-10 12:44 UTC (permalink / raw
To: gentoo-commits
commit: bd25f736bbdfc55efd8def2f9e7e7cea31980485
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon May 10 12:37:39 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon May 10 12:39:22 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd25f736
dev-ml/rresult: Keyword 0.5.0 ppc64, #788406
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/rresult/rresult-0.5.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index dc85569f506..409f7717f54 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -11,7 +11,7 @@ SRC_URI="https://erratique.ch/software/rresult/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~ppc64"
IUSE=""
RDEPEND="dev-ml/result:="
^ permalink raw reply related [flat|nested] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2017-08-06 12:30 Alexis Ballier
0 siblings, 0 replies; 23+ messages in thread
From: Alexis Ballier @ 2017-08-06 12:30 UTC (permalink / raw
To: gentoo-commits
commit: 70f3de407f8762577eadfb7ecc300980d80219ba
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sun Aug 6 12:07:13 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sun Aug 6 12:30:27 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70f3de40
dev-ml/rresult: convert to opam.eclass
Package-Manager: Portage-2.3.6, Repoman-2.3.3
dev-ml/rresult/rresult-0.5.0.ebuild | 16 +++-------------
1 file changed, 3 insertions(+), 13 deletions(-)
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
index 5078c39a985..85613f2d372 100644
--- a/dev-ml/rresult/rresult-0.5.0.ebuild
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -3,6 +3,8 @@
EAPI=6
+inherit opam
+
DESCRIPTION="Result value combinators for OCaml"
HOMEPAGE="http://erratique.ch/software/rresult https://github.com/dbuenzli/rresult"
SRC_URI="http://erratique.ch/software/rresult/releases/${P}.tbz"
@@ -12,23 +14,11 @@ SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE=""
-RDEPEND="
- dev-lang/ocaml:=
- dev-ml/result:=
-"
+RDEPEND="dev-ml/result:="
DEPEND="${RDEPEND}
dev-ml/topkg
- dev-ml/opam
dev-ml/ocamlbuild"
src_compile() {
ocaml pkg/pkg.ml build || die
}
-
-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] 23+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
@ 2017-06-20 21:33 Alexis Ballier
0 siblings, 0 replies; 23+ messages in thread
From: Alexis Ballier @ 2017-06-20 21:33 UTC (permalink / raw
To: gentoo-commits
commit: 4a66c2b46db0302f432cc347cdefbc19a409ddd8
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 20 21:22:28 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jun 20 21:22:28 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a66c2b4
dev-ml/rresult: initial import
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-ml/rresult/Manifest | 1 +
dev-ml/rresult/metadata.xml | 11 +++++++++++
dev-ml/rresult/rresult-0.5.0.ebuild | 34 ++++++++++++++++++++++++++++++++++
3 files changed, 46 insertions(+)
diff --git a/dev-ml/rresult/Manifest b/dev-ml/rresult/Manifest
new file mode 100644
index 00000000000..8fbf19d9866
--- /dev/null
+++ b/dev-ml/rresult/Manifest
@@ -0,0 +1 @@
+DIST rresult-0.5.0.tbz 9185 SHA256 15faf4a755eb7df876e9cb77e608a98fcb4eabd023450e77ba082bd86067bef7 SHA512 45787b61adb7daedf72e4ff632cf3d4917bccb3e83613dabf93437982887d9a0ed3b6cbefb2b17cb341a825346cb0609286df581c6ff379583dc83672ee25efc WHIRLPOOL c4088aa525ad6b9154aa62268503b8e4a6d497dbfd0aa68ef2dff0368c9d53410d6729451558431c15418dd66e1c2d5905e4a92a99b9cbfb235243ee3e683b3e
diff --git a/dev-ml/rresult/metadata.xml b/dev-ml/rresult/metadata.xml
new file mode 100644
index 00000000000..bd8c75be2de
--- /dev/null
+++ b/dev-ml/rresult/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+</maintainer>
+ <upstream>
+ <remote-id type="github">dbuenzli/rresult</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild
new file mode 100644
index 00000000000..5078c39a985
--- /dev/null
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Result value combinators for OCaml"
+HOMEPAGE="http://erratique.ch/software/rresult https://github.com/dbuenzli/rresult"
+SRC_URI="http://erratique.ch/software/rresult/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ dev-lang/ocaml:=
+ dev-ml/result:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/topkg
+ dev-ml/opam
+ dev-ml/ocamlbuild"
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}
+
+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] 23+ messages in thread
end of thread, other threads:[~2023-03-17 14:11 UTC | newest]
Thread overview: 23+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-05-15 19:32 [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2023-03-17 14:11 Sam James
2023-03-16 23:16 Sam James
2023-03-16 23:16 Sam James
2022-07-24 11:28 David Seifert
2022-07-24 11:28 David Seifert
2022-04-18 21:07 Jakov Smolić
2021-11-03 21:25 Alfredo Tupone
2021-10-14 9:44 Sam James
2021-10-14 3:25 Sam James
2021-10-13 20:37 Sam James
2021-10-11 8:09 Agostino Sarubbo
2021-10-11 6:00 Sam James
2021-10-11 5:45 Sam James
2021-09-07 0:09 Sam James
2021-07-28 2:05 Sam James
2021-07-28 2:05 Sam James
2021-07-28 1:48 Sam James
2021-05-15 1:55 Sam James
2021-05-10 12:45 Sam James
2021-05-10 12:44 Sam James
2017-08-06 12:30 Alexis Ballier
2017-06-20 21:33 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox