diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/lean/lean-4.14.0-r1.ebuild (renamed from sci-mathematics/lean/lean-4.14.0.ebuild) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/lean/lean-4.14.0.ebuild b/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=" |