Index of /pub/gentoo-portage/sci-mathematics/lean/files

      Name                                      Last modified      Size  Description
Parent Directory - lean-3.50.3-gcc-13.patch 2023-04-18 15:10 263 lean-CMakeLists-fix_flags.patch 2021-11-26 13:40 1.3K
ftp.heanet.ie