From 832d2b5f5d6cfd9f8e81461cc0d6f51b2d474cde Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Thu, 21 Oct 2021 00:06:08 +0200 Subject: [PATCH] sci-mathematics/mathlib-tools: add lean slot MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Maciej Barć --- 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 f17034030a..b1522ec7b5 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