gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/lean: add missing libuv dep

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2025-01-03 00:02:56 +01:00
parent c6c3d0ffcb
commit 726810e26b
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/lean/lean-4.14.0.ebuild → sci-mathematics/lean/lean-4.14.0-r1.ebuild
View File

@@ -32,6 +32,7 @@ IUSE="debug source"
RDEPEND="
dev-libs/gmp:=
dev-libs/libuv:=
sci-mathematics/cadical
"
DEPEND="