mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 20:13:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/mathlib-tools: add lean slot

Browse Source 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
This commit is contained in:
Maciej Barć
2021-10-21 00:06:08 +02:00
parent cb04649b4c
commit 832d2b5f5d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
View File

@@ -37,7 +37,7 @@ DEPEND="
"
RDEPEND="
${DEPEND}
dev-lang/lean
dev-lang/lean:0/3
"
distutils_enable_tests pytest