Index of /lean/

../
lean-3.51.1_0.darwin_10.i386.tbz2                  21-Mar-2025 16:41             6197942
lean-3.51.1_0.darwin_10.i386.tbz2.rmd160           21-Mar-2025 16:41                 512
lean-3.51.1_0.darwin_10.x86_64.tbz2                21-Mar-2025 16:39             6253328
lean-3.51.1_0.darwin_10.x86_64.tbz2.rmd160         21-Mar-2025 16:39                 512
lean-3.51.1_0.darwin_12.x86_64.tbz2                21-Mar-2025 16:43             5845971
lean-3.51.1_0.darwin_12.x86_64.tbz2.rmd160         21-Mar-2025 16:43                 512
lean-3.51.1_0.darwin_13.x86_64.tbz2                21-Mar-2025 16:43             5673410
lean-3.51.1_0.darwin_13.x86_64.tbz2.rmd160         21-Mar-2025 16:43                 512
lean-3.51.1_0.darwin_14.x86_64.tbz2                05-Sep-2024 22:25             5761217
lean-3.51.1_0.darwin_14.x86_64.tbz2.rmd160         05-Sep-2024 22:25                 512
lean-3.51.1_0.darwin_15.x86_64.tbz2                05-Sep-2024 22:26             5761018
lean-3.51.1_0.darwin_15.x86_64.tbz2.rmd160         05-Sep-2024 22:26                 512
lean-3.51.1_0.darwin_16.x86_64.tbz2                05-Sep-2024 22:27             5724874
lean-3.51.1_0.darwin_16.x86_64.tbz2.rmd160         05-Sep-2024 22:27                 512
lean-3.51.1_0.darwin_17.x86_64.tbz2                05-Sep-2024 22:29             5744560
lean-3.51.1_0.darwin_17.x86_64.tbz2.rmd160         05-Sep-2024 22:29                 512
lean-3.51.1_0.darwin_18.x86_64.tbz2                05-Sep-2024 22:23             6064580
lean-3.51.1_0.darwin_18.x86_64.tbz2.rmd160         05-Sep-2024 22:23                 512
lean-3.51.1_0.darwin_19.x86_64.tbz2                05-Sep-2024 22:19             6201070
lean-3.51.1_0.darwin_19.x86_64.tbz2.rmd160         05-Sep-2024 22:19                 512
lean-3.51.1_0.darwin_20.x86_64.tbz2                05-Sep-2024 22:23             6084627
lean-3.51.1_0.darwin_20.x86_64.tbz2.rmd160         05-Sep-2024 22:23                 512
lean-3.51.1_0.darwin_21.arm64.tbz2                 06-Sep-2024 21:06             5850224
lean-3.51.1_0.darwin_21.arm64.tbz2.rmd160          06-Sep-2024 21:06                 512
lean-3.51.1_0.darwin_21.x86_64.tbz2                05-Sep-2024 22:23             6135410
lean-3.51.1_0.darwin_21.x86_64.tbz2.rmd160         05-Sep-2024 22:23                 512
lean-3.51.1_0.darwin_22.arm64.tbz2                 06-Sep-2024 17:22             5542051
lean-3.51.1_0.darwin_22.arm64.tbz2.rmd160          06-Sep-2024 17:22                 512
lean-3.51.1_0.darwin_22.x86_64.tbz2                06-Sep-2024 19:45             5792786
lean-3.51.1_0.darwin_22.x86_64.tbz2.rmd160         06-Sep-2024 19:45                 512
lean-3.51.1_0.darwin_23.arm64.tbz2                 05-Sep-2024 22:06             5587473
lean-3.51.1_0.darwin_23.arm64.tbz2.rmd160          05-Sep-2024 22:06                 512
lean-3.51.1_0.darwin_23.x86_64.tbz2                06-Sep-2024 06:23             5809934
lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160         06-Sep-2024 06:23                 512
lean-3.51.1_0.darwin_24.arm64.tbz2                 15-Mar-2025 23:57             5622958
lean-3.51.1_0.darwin_24.arm64.tbz2.rmd160          15-Mar-2025 23:57                 512
lean-3.51.1_0.darwin_24.x86_64.tbz2                10-Oct-2024 02:06             5800965
lean-3.51.1_0.darwin_24.x86_64.tbz2.rmd160         10-Oct-2024 02:06                 512