subject:"\[gentoo\-commits\] repo\/gentoo\:master commit in\: dev\-ml\/patience

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-18 Thread Jakov Smolić

commit: 3ec548286a50200454f1daacc757569237250958
Author: Yongxiang Liang  gmail  com>
AuthorDate: Sun Apr 17 15:41:21 2022 +
Commit: Jakov Smolić  gentoo  org>
CommitDate: Mon Apr 18 21:06:47 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ec54828

dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100

Signed-off-by: Yongxiang Liang  gmail.com>
Signed-off-by: Jakov Smolić  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc951..e73d50987f38 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.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://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-01 Thread Alfredo Tupone

commit: 346abd6e30bfe536efcdab2f52a37c54580ffb88
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:19:20 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:19:20 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=346abd6e

dev-ml/patience_diff: build with ocaml-4.12

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/metadata.xml| 5 -
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
index 65186ef690b..c87f5360ebd 100644
--- a/dev-ml/patience_diff/metadata.xml
+++ b/dev-ml/patience_diff/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/patience_diff


diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index 67d3bdbbc95..cd95ca35acf 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,3 +19,7 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
+
+src_compile() {
+   dune build @install --profile release || die
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-10-03 Thread Alfredo Tupone

commit: ab0250411fd4eb994bcdc4812c0b5594e4b72076
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:55:32 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:43 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab025041

dev-ml/patience_diff: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
index cd95ca35acf..67d3bdbbc95 100644
--- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -19,7 +19,3 @@ RDEPEND="
dev-ml/core_kernel:=
dev-ml/ppx_jane:=
 "
-
-src_compile() {
-   dune build @install --profile release || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-01 Thread Alfredo Tupone

commit: 3e2f13c02fc1c14f7185b1a280f67164644f3b5d
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Mar  1 20:37:33 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Mar  1 20:37:33 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e2f13c0

dev-ml/patience_diff: version bump to 0.14.0

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 21 +
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 002d157a514..efc52327c97 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
+DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
new file mode 100644
index 000..67d3bdbbc95
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_jane:=
+"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2021-03-07 Thread Alfredo Tupone

commit: 819981a9e592c4ead78b2af0329e6a1cde9045a9
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 14:25:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 14:37:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=819981a9

dev-ml/patience_diff: rem old version

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

 dev-ml/patience_diff/Manifest   |  1 -
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 23 ---
 2 files changed, 24 deletions(-)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index efc52327c97..5648b021c4a 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
-DIST patience_diff-0.9.0.tar.gz 16520 BLAKE2B 
af7f93906c1f4ab70649bc41726aff21f9f099fe49b0d3a3e8bea01d85e9f01cac4bd103179e9877d79dbc997d37318382321dacd67be57a9e031fd95e0263e5
 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
deleted file mode 100644
index 75cd3ec4d12..000
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Tool and library implementing patience diff"
-HOMEPAGE="https://github.com/janestreet/patience_diff";
-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=""
-
-RDEPEND="
-   dev-ml/core_kernel:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-06-22 Thread Alexis Ballier

commit: 2bbea554372d23a4db567b771b668981b3bbd596
Author: Alexis Ballier  gentoo  org>
AuthorDate: Thu Jun 22 12:36:47 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Thu Jun 22 14:24:34 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bbea554

dev-ml/patience_diff: initial import

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/patience_diff/Manifest   |  1 +
 dev-ml/patience_diff/metadata.xml   | 11 +
 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 30 +
 3 files changed, 42 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
new file mode 100644
index 000..fc684136055
--- /dev/null
+++ b/dev-ml/patience_diff/Manifest
@@ -0,0 +1 @@
+DIST patience_diff-0.9.0.tar.gz 16520 SHA256 
d47943ca89602e4c4b030f8dec7fa60b5011592a7005fa79cf746b79308d66f8 SHA512 
62cc0950edd8d46d5a11cd612dbdb8dc531a9a2c71403f30e6022e20d9ee21cb2e7a531362fa8b350075003eec929f1f70481b8e160b253831966d80a8becd83
 WHIRLPOOL 
f1bb11f6862c9612f48cb861b74028c7c4c720738f44ac75b42d47f527781f6d054d690ac3a36318a6ea3d754544f4e0b9e83627a781989f9c46f5fc4b524f01

diff --git a/dev-ml/patience_diff/metadata.xml 
b/dev-ml/patience_diff/metadata.xml
new file mode 100644
index 000..949b707595e
--- /dev/null
+++ b/dev-ml/patience_diff/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd";>
+
+
+   m...@gentoo.org
+   Gentoo ML Project
+
+  
+ janestreet/patience_diff
+  
+

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
new file mode 100644
index 000..727b5d56ef3
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/${PN}";
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   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
+}

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2017-09-22 Thread Alexis Ballier

commit: 4d138138f716438f6a9d2b5261302f06ed7cd2a5
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Sep 22 08:22:07 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Sep 22 08:31:44 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d138138

dev-ml/patience_diff: update to opam.eclass

Package-Manager: Portage-2.3.10, Repoman-2.3.3

 dev-ml/patience_diff/patience_diff-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
index 727b5d56ef3..cba06ddf9e1 100644
--- a/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Tool and library implementing patience diff"
 HOMEPAGE="https://github.com/janestreet/${PN}";
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,18 +15,9 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/core_kernel:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2022-04-27 Thread Alfredo Tupone

commit: 2bf2ed0a3e1a7e33b954f54f63a98b2303b3c120
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 27 20:09:08 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 27 20:09:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bf2ed0a

dev-ml/patience_diff: 0.15.0 bump

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

 dev-ml/patience_diff/Manifest|  1 +
 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 17 +
 2 files changed, 18 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 5648b021c4a7..746fe5ac6ac4 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1 +1,2 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
+DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
new file mode 100644
index ..00760fb0e14f
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2023-02-10 Thread Yixun Lan

commit: 05a60ae675ee7f4f1652f51e39ad95561460c67f
Author: Yixun Lan  gentoo  org>
AuthorDate: Fri Feb 10 08:23:07 2023 +
Commit: Yixun Lan  gentoo  org>
CommitDate: Fri Feb 10 08:23:07 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05a60ae6

dev-ml/patience_diff: Keyword 0.15.0 riscv, #892131

Signed-off-by: Yixun Lan  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
index 8d612eb0d5f3..2e2bd78185f5 100644
--- a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-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"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/

2023-01-26 Thread Sam James

commit: 340400eca498f3c5c7aa0bd7dccde0e43037230b
Author: Sam James  gentoo  org>
AuthorDate: Fri Jan 27 00:25:44 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Jan 27 00:28:29 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=340400ec

dev-ml/patience_diff: unkeyword 0.15.0 for ~riscv

Signed-off-by: Sam James  gentoo.org>

 dev-ml/patience_diff/patience_diff-0.15.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
index 00760fb0e14f..8d612eb0d5f3 100644
--- a/dev-ml/patience_diff/patience_diff-0.15.0.ebuild
+++ b/dev-ml/patience_diff/patience_diff-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=7
@@ -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 ~riscv"
+KEYWORDS="~amd64"
 IUSE="+ocamlopt"
 
 RDEPEND="dev-ml/core:${SLOT}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/patience_diff/, profiles/

2024-06-30 Thread Alfredo Tupone

commit: 2d3d1c63e0db30a4b0d110f1821f6c442bcd91cc
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Jun 30 11:33:01 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Jun 30 11:34:16 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2d3d1c63

dev-ml/patience_diff: add 0.16.0, 0.17.0

Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/patience_diff/Manifest|  2 ++
 dev-ml/patience_diff/patience_diff-0.16.0.ebuild | 23 +++
 dev-ml/patience_diff/patience_diff-0.17.0.ebuild | 24 
 profiles/package.mask|  1 +
 4 files changed, 50 insertions(+)

diff --git a/dev-ml/patience_diff/Manifest b/dev-ml/patience_diff/Manifest
index 746fe5ac6ac4..a459eb70c98b 100644
--- a/dev-ml/patience_diff/Manifest
+++ b/dev-ml/patience_diff/Manifest
@@ -1,2 +1,4 @@
 DIST patience_diff-0.14.0.tar.gz 20060 BLAKE2B 
d47d9a93ef0a7eeada7f050aec0427f8352343609da1332de59d6b3ced41e9942556e1d61e12ab2075bc15cf29afc60191f48da43c1a4358d414352eb6efd044
 SHA512 
d253488402e515d56ed9d83ef45edfce378d6ad5148d80f8d81341cff28d19115350d72cc057ecd6c14b907888eca8e6bce1b8e71c7a978149979a16a5512fd2
 DIST patience_diff-0.15.0.tar.gz 20434 BLAKE2B 
52e0f1d3437f97d384224cd06035802376fe2af97c085e183f99934f6f8238270723505cda7c617b7847fa4d5f51abbfaa58cd25aac5f0eeb56b42559e91421a
 SHA512 
d3cbf2b2fb8618cd3342abcb7beea110a93b0e8f6984f3becdf9066c717f6f7832f86a8fb72ac56c587cbd6e5abecf07c0b98d9ec1cb7a40bfb9d4a5b1de12ba
+DIST patience_diff-0.16.0.tar.gz 22756 BLAKE2B 
99f6d72359138732d2c523d0a14811925293e298e9090d276ad3fceda1793fa05f27e01c7c9e0084a1ea41fdb069142a687ddd614850b56f7b8536a0dc3f0649
 SHA512 
de3726e3d5df3bccb168ed600d3965f69e97eadce27022438660a6ea6ee87075268cc9bf8105ab35a049600408ddc780fd362fed4bbcfa69d36512463e0c37b1
+DIST patience_diff-0.17.0.tar.gz 24963 BLAKE2B 
2e8e6240d2c5f7abc45dd605bb8bc850ed5fc43dcec5794837ac1973571ab9c3a283603080afb64326a969b470eaf2d5f2fdfdee52db41fa5f1640866b6a74a9
 SHA512 
e448fb843eb622532de89f964823261e9f9ddb0119ad6a311ac744a21fbfff4b6bc8cc0fae051431aa3a507b39f43f45614dd8d9703e1a693de95e1909a57f13

diff --git a/dev-ml/patience_diff/patience_diff-0.16.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.16.0.ebuild
new file mode 100644
index ..e9f71f8e2b56
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.14
+   dev-ml/base:${SLOT}[ocamlopt?]
+   dev-ml/core:${SLOT}[ocamlopt?]
+   dev-ml/ppx_jane:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}"

diff --git a/dev-ml/patience_diff/patience_diff-0.17.0.ebuild 
b/dev-ml/patience_diff/patience_diff-0.17.0.ebuild
new file mode 100644
index ..2ff2a93f9dcf
--- /dev/null
+++ b/dev-ml/patience_diff/patience_diff-0.17.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Tool and library implementing patience diff"
+HOMEPAGE="https://github.com/janestreet/patience_diff";
+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 ~riscv"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   >=dev-lang/ocaml-5
+   dev-ml/base:${SLOT}[ocamlopt?]
+   dev-ml/core:${SLOT}[ocamlopt?]
+   dev-ml/ppx_jane:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}
+   >=dev-ml/dune-3.11"

diff --git a/profiles/package.mask b/profiles/package.mask
index f112167fa5b0..0559fc89461f 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -427,6 +427,7 @@ dev-ml/async_log:0/0.17
 dev-ml/textutils:0/0.17
 dev-ml/async:0/0.17
 >=dev-ml/labltk-8.06.14
+dev-ml/patience_diff:0/0.17
 
 # Arthur Zamarin  (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.

67 matches

Mail list logo