Gentoo Archives: gentoo-commits

From:	"Maciej Barć" <xgqt@××××××.net>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/mathlib-tools/
Date:	Wed, 20 Oct 2021 22:07:23
Message-Id:	`1634767584.832d2b5f5d6cfd9f8e81461cc0d6f51b2d474cde.xgqt@gentoo`

1	commit: 832d2b5f5d6cfd9f8e81461cc0d6f51b2d474cde
2	Author: Maciej Barć <xgqt <AT> riseup <DOT> net>
3	AuthorDate: Wed Oct 20 22:06:08 2021 +0000
4	Commit: Maciej Barć <xgqt <AT> riseup <DOT> net>
5	CommitDate: Wed Oct 20 22:06:24 2021 +0000
6	URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=832d2b5f
7
8	sci-mathematics/mathlib-tools: add lean slot
9
10	Package-Manager: Portage-3.0.20, Repoman-3.0.3
11	Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>
12
13	sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild \| 2 +-
14	1 file changed, 1 insertion(+), 1 deletion(-)
15
16	diff --git a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
17	index f17034030..b1522ec7b 100644
18	--- a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
19	+++ b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
20	@@ -37,7 +37,7 @@ DEPEND="
21	"
22	RDEPEND="
23	${DEPEND}
24	- dev-lang/lean
25	+ dev-lang/lean:0/3
26	"
27
28	distutils_enable_tests pytest