Index of /packages_legacy/lean/

Name DateSize
../ 21-Dec-2024 15:02-
lean-3.51.1_0.darwin_10.ppc.tbz2 03-Sep-2024 12:015.4M
lean-3.51.1_0.darwin_10.ppc.tbz2.rmd160 03-Sep-2024 17:13256B