Index of /mirror/gentoo/portage/sci-mathematics/lean/

../
files/                                             22-Sep-2025 11:14       -
Manifest                                           06-Jun-2025 17:41    1223
lean-4.14.0-r1.ebuild                              19-Feb-2025 03:41    1796
metadata.xml                                       02-Jan-2025 18:11     954