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/lean-mathlib: dev-lang/lean --> sci-mathematics/lean

Browse Source 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
This commit is contained in:
Andrew Ammerlaan
2021-12-01 20:50:06 +01:00
parent 99835817e4
commit 6c79f5e387
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild
View File

@@ -15,7 +15,7 @@ LICENSE="Apache-2.0"
SLOT="0"
IUSE="test"
RDEPEND=">=dev-lang/lean-3.34.0"
RDEPEND=">=sci-mathematics/lean-3.34.0"
DEPEND="
${RDEPEND}
sci-mathematics/mathlib-tools