[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/lean/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     0539348664c95ea43e2156585ecedcc306ce7513
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Dec  4 02:29:23 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Dec  4 02:36:10 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05393486

sci-mathematics/lean: gmp slot

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/lean/{lean-3.35.1-r1.ebuild => lean-3.35.1-r2.ebuild} | 2 +-
 sci-mathematics/lean/lean-3.9999.ebuild                               | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/lean/lean-3.35.1-r1.ebuild b/sci-mathematics/lean/lean-3.35.1-r2.ebuild
similarity index 98%
rename from sci-mathematics/lean/lean-3.35.1-r1.ebuild
rename to sci-mathematics/lean/lean-3.35.1-r2.ebuild
index cc208dc27850..a15591b790f5 100644
--- a/sci-mathematics/lean/lean-3.35.1-r1.ebuild
+++ b/sci-mathematics/lean/lean-3.35.1-r2.ebuild
@@ -24,7 +24,7 @@ LICENSE="Apache-2.0"
 SLOT="0/${MAJOR}"
 IUSE="debug +json +threads"
 
-RDEPEND="dev-libs/gmp"
+RDEPEND="dev-libs/gmp:="
 DEPEND="${RDEPEND}"
 
 PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" )

diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild
index cc208dc27850..a15591b790f5 100644
--- a/sci-mathematics/lean/lean-3.9999.ebuild
+++ b/sci-mathematics/lean/lean-3.9999.ebuild
@@ -24,7 +24,7 @@ LICENSE="Apache-2.0"
 SLOT="0/${MAJOR}"
 IUSE="debug +json +threads"
 
-RDEPEND="dev-libs/gmp"
+RDEPEND="dev-libs/gmp:="
 DEPEND="${RDEPEND}"
 
 PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" )