Index of /packages/lean/
Name
Date
Size
../
12-Feb-2025 12:11
-
lean-3.51.1_0.darwin_10.ppc.tbz2
12-Jan-2025 16:20
5.4M
lean-3.51.1_0.darwin_10.ppc.tbz2.rmd160
12-Jan-2025 16:27
256B