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