From 726810e26b3adbf4aa7b7efe2737509a7b2f4c5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Fri, 3 Jan 2025 00:02:56 +0100 Subject: [PATCH] sci-mathematics/lean: add missing libuv dep MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- .../lean/{lean-4.14.0.ebuild => lean-4.14.0-r1.ebuild} | 1 + 1 file changed, 1 insertion(+) rename sci-mathematics/lean/{lean-4.14.0.ebuild => lean-4.14.0-r1.ebuild} (98%) 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 2682e9a72b4a2..153bf8d286fb8 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="