[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/mathlib-tools/

[Maciej Barć]

commit:     832d2b5f5d6cfd9f8e81461cc0d6f51b2d474cde
Author:     Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Wed Oct 20 22:06:08 2021 +0000
Commit:     Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Wed Oct 20 22:06:24 2021 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=832d2b5f

sci-mathematics/mathlib-tools: add lean slot

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>

 sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild 
b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
index f17034030..b1522ec7b 100644
--- a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
+++ b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
@@ -37,7 +37,7 @@ DEPEND="
 "
 RDEPEND="
        ${DEPEND}
-       dev-lang/lean
+       dev-lang/lean:0/3
 "
 
 distutils_enable_tests pytest