| 1 |
commit: 96866b391464cf42acd1348e85be6209754641c2 |
| 2 |
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sun Apr 3 20:55:41 2022 +0000 |
| 4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sun Apr 3 20:55:41 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96866b39 |
| 7 |
|
| 8 |
dev-ml/ppx_tools: 6.5 bump |
| 9 |
|
| 10 |
Closes: https://bugs.gentoo.org/836369 |
| 11 |
Package-Manager: Portage-3.0.30, Repoman-3.0.3 |
| 12 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
| 13 |
|
| 14 |
dev-ml/ppx_tools/Manifest | 1 + |
| 15 |
dev-ml/ppx_tools/ppx_tools-6.3.ebuild | 7 +++++-- |
| 16 |
dev-ml/ppx_tools/ppx_tools-6.4.ebuild | 7 +++++-- |
| 17 |
dev-ml/ppx_tools/{ppx_tools-6.4.ebuild => ppx_tools-6.5.ebuild} | 6 ++++-- |
| 18 |
4 files changed, 15 insertions(+), 6 deletions(-) |
| 19 |
|
| 20 |
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest |
| 21 |
index be9333053897..f2ed5e6ef0a7 100644 |
| 22 |
--- a/dev-ml/ppx_tools/Manifest |
| 23 |
+++ b/dev-ml/ppx_tools/Manifest |
| 24 |
@@ -1,3 +1,4 @@ |
| 25 |
DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c226533bcf715ed22386aecfaf51260fb9a5075d270675f1b601cb174b68d8c85556f418031a7b6bda06c4376fe443 SHA512 fc3943c69901ef46843355c3482d5a1481d05ee94fb0a344ec04101059a02cbaa76fed5742cfae82730edf378f2e140d859a5cf590653f85359255d451f07dc8 |
| 26 |
DIST ppx_tools-6.3.tar.gz 18811 BLAKE2B b1389dbe0c6fd855cafc8d64a9db550866317172909c2731f01acd412c6f8147f07e19a82d527187d0b211fca9eb2f2ad63bb53e8f375b0b8107c4e723710000 SHA512 6a88f6f877f49ea8736aeca60673a19c52d5104ad9e2a3e56db3f71cd557d39df9c709c4e678ccf10263ff1f3e0504f4676227bd05ceba1e0294453a988a736c |
| 27 |
DIST ppx_tools-6.4.tar.gz 19051 BLAKE2B dcb3e5a4ca5dd6243cae013739b93c6fe100ca21ad56c46e284255977f4e6d4263ef8d937ed672939e5b31bbe0904dcb1d71105f49385ad5d43404b19a9fe2c6 SHA512 514aa283f6bee11bf257abec98a751c656db63203caa4caee5ce606bcdee75891441a794b0bac22e2ff2e5d2760cd39ffaa2fce6bb118155daf05175917e6e7c |
| 28 |
+DIST ppx_tools-6.5.tar.gz 19200 BLAKE2B 5cc847fcde8610ad37dbc7884e38869123a59d81549a2ae9e4e2b2a5525cff36fe3e1a31375090dff9b5179b0e12e46d25d54f3a4cefab8cb42de08bb4347691 SHA512 1dc3f62307690161fc7d9f54715918341429bbe13dd68744e9468b41ab7c15ec95cb865135d11c3e3edc6cfb02658b0c731ce1e7756267cf71143ea8e88318fe |
| 29 |
|
| 30 |
diff --git a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild |
| 31 |
index fa8079b62de1..146dc4cea675 100644 |
| 32 |
--- a/dev-ml/ppx_tools/ppx_tools-6.3.ebuild |
| 33 |
+++ b/dev-ml/ppx_tools/ppx_tools-6.3.ebuild |
| 34 |
@@ -1,4 +1,4 @@ |
| 35 |
-# Copyright 1999-2021 Gentoo Authors |
| 36 |
+# Copyright 1999-2022 Gentoo Authors |
| 37 |
# Distributed under the terms of the GNU General Public License v2 |
| 38 |
|
| 39 |
EAPI=7 |
| 40 |
@@ -16,4 +16,7 @@ SLOT="0/${PV}" |
| 41 |
KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 x86" |
| 42 |
IUSE="+ocamlopt" |
| 43 |
|
| 44 |
-BDEPEND="dev-ml/cppo" |
| 45 |
+BDEPEND=" |
| 46 |
+ dev-ml/cppo |
| 47 |
+ <dev-lang/ocaml-4.13.0 |
| 48 |
+" |
| 49 |
|
| 50 |
diff --git a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild |
| 51 |
index b8c31373448b..34cc6727c583 100644 |
| 52 |
--- a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild |
| 53 |
+++ b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild |
| 54 |
@@ -1,4 +1,4 @@ |
| 55 |
-# Copyright 1999-2021 Gentoo Authors |
| 56 |
+# Copyright 1999-2022 Gentoo Authors |
| 57 |
# Distributed under the terms of the GNU General Public License v2 |
| 58 |
|
| 59 |
EAPI=7 |
| 60 |
@@ -16,4 +16,7 @@ SLOT="0/${PV}" |
| 61 |
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" |
| 62 |
IUSE="+ocamlopt" |
| 63 |
|
| 64 |
-BDEPEND="dev-ml/cppo" |
| 65 |
+BDEPEND=" |
| 66 |
+ dev-ml/cppo |
| 67 |
+ <dev-lang/ocaml-4.14.0 |
| 68 |
+" |
| 69 |
|
| 70 |
diff --git a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild b/dev-ml/ppx_tools/ppx_tools-6.5.ebuild |
| 71 |
similarity index 87% |
| 72 |
copy from dev-ml/ppx_tools/ppx_tools-6.4.ebuild |
| 73 |
copy to dev-ml/ppx_tools/ppx_tools-6.5.ebuild |
| 74 |
index b8c31373448b..374fa202c924 100644 |
| 75 |
--- a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild |
| 76 |
+++ b/dev-ml/ppx_tools/ppx_tools-6.5.ebuild |
| 77 |
@@ -1,4 +1,4 @@ |
| 78 |
-# Copyright 1999-2021 Gentoo Authors |
| 79 |
+# Copyright 1999-2022 Gentoo Authors |
| 80 |
# Distributed under the terms of the GNU General Public License v2 |
| 81 |
|
| 82 |
EAPI=7 |
| 83 |
@@ -16,4 +16,6 @@ SLOT="0/${PV}" |
| 84 |
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" |
| 85 |
IUSE="+ocamlopt" |
| 86 |
|
| 87 |
-BDEPEND="dev-ml/cppo" |
| 88 |
+BDEPEND=" |
| 89 |
+ dev-ml/cppo |
| 90 |
+" |
Archives