commit: 726810e26b3adbf4aa7b7efe2737509a7b2f4c5f
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 2 23:02:56 2025 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jan 2 23:10:48 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=726810e2
sci-mathematics/lean: add missing libuv dep
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/lean/{lean-4.14.0.ebuild => lean-4.14.0-r1.ebuild} | 1 +
1 file changed, 1 insertion(+)
diff --git a/sci-mathematics/lean/lean-4.14.0.ebuild
b/sci-mathematics/lean/lean-4.14.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/lean/lean-4.14.0.ebuild
rename to sci-mathematics/lean/lean-4.14.0-r1.ebuild
index 2682e9a72b4a..153bf8d286fb 100644
--- a/sci-mathematics/lean/lean-4.14.0.ebuild
+++ b/sci-mathematics/lean/lean-4.14.0-r1.ebuild
@@ -32,6 +32,7 @@ IUSE="debug source"
RDEPEND="
dev-libs/gmp:=
+ dev-libs/libuv:=
sci-mathematics/cadical
"
DEPEND="
