Index of /packages/lean/

Name DateSize
../ 12-Feb-2025 12:11-
lean-3.51.1_0.darwin_10.ppc.tbz2 12-Jan-2025 16:205.4M
lean-3.51.1_0.darwin_10.ppc.tbz2.rmd160 12-Jan-2025 16:27256B