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

[Alfredo Tupone]

commit:     6623c5b36cfc3fdac2b88666edde986cceb1e723
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 16 13:05:56 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Mar 16 13:06:15 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6623c5b3

dev-ml/ppxlib_jane: add 0.17.2

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/ppxlib_jane/Manifest                                           | 1 +
 .../{ppxlib_jane-0.17.0.ebuild => ppxlib_jane-0.17.0-r1.ebuild}       | 3 ++-
 .../{ppxlib_jane-0.17.0.ebuild => ppxlib_jane-0.17.2.ebuild}          | 4 ++--
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/dev-ml/ppxlib_jane/Manifest b/dev-ml/ppxlib_jane/Manifest
index afa58e7d9ebc..7ebacf1abb7e 100644
--- a/dev-ml/ppxlib_jane/Manifest
+++ b/dev-ml/ppxlib_jane/Manifest
@@ -1 +1,2 @@
 DIST ppxlib_jane-0.17.0.tar.gz 46439 BLAKE2B 
97b8040571e0641ebc6a67d9ee394cba2388be0993eac5f8255b3358225533d7813ad7a9fd7af8f87007348badfb7a51a73af44365c87c1a70b0c74b8401e71c
 SHA512 
0907a5c9dfce17dab6df86bc8b04b20c1f809c45a89e947c1da57092851489c618c741aabb853fdc6ca48f4737a74ee2a8c8fc1abfbd85939fd003991adccc09
+DIST ppxlib_jane-0.17.2.tar.gz 46492 BLAKE2B 
6bad78b03c1769d21f62acbf1c88e1a1e41db11bb942b8286d0ea195f3b6272f64203572d151b7a6b13d916a0a79ffa7a51bd2bec3fca31f6c3dad9ee827a628
 SHA512 
342e034d44d14958869e643befb0e749d4de3ca0040891ab51592e2583bc5bb827bdaa5bd06966ac536151d160997aef79baa090247d1649a6b5849a359744d8

diff --git a/dev-ml/ppxlib_jane/ppxlib_jane-0.17.0.ebuild 
b/dev-ml/ppxlib_jane/ppxlib_jane-0.17.0-r1.ebuild
similarity index 90%
copy from dev-ml/ppxlib_jane/ppxlib_jane-0.17.0.ebuild
copy to dev-ml/ppxlib_jane/ppxlib_jane-0.17.0-r1.ebuild
index 3d4cb81767a5..07f03db970a3 100644
--- a/dev-ml/ppxlib_jane/ppxlib_jane-0.17.0.ebuild
+++ b/dev-ml/ppxlib_jane/ppxlib_jane-0.17.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2024 Gentoo Authors
+# Copyright 2024-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -17,6 +17,7 @@ IUSE="+ocamlopt"
 
 RDEPEND="
        >=dev-lang/ocaml-5
+       <dev-lang/ocaml-5.3
        dev-ml/stdlib-shims:=[ocamlopt?]
        >=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
 "

diff --git a/dev-ml/ppxlib_jane/ppxlib_jane-0.17.0.ebuild 
b/dev-ml/ppxlib_jane/ppxlib_jane-0.17.2.ebuild
similarity index 90%
rename from dev-ml/ppxlib_jane/ppxlib_jane-0.17.0.ebuild
rename to dev-ml/ppxlib_jane/ppxlib_jane-0.17.2.ebuild
index 3d4cb81767a5..212b4b65119e 100644
--- a/dev-ml/ppxlib_jane/ppxlib_jane-0.17.0.ebuild
+++ b/dev-ml/ppxlib_jane/ppxlib_jane-0.17.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2024 Gentoo Authors
+# Copyright 2024-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -16,7 +16,7 @@ KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
 IUSE="+ocamlopt"
 
 RDEPEND="
-       >=dev-lang/ocaml-5
+       >=dev-lang/ocaml-5.3
        dev-ml/stdlib-shims:=[ocamlopt?]
        >=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
 "