Index of /packages/lean/

../
lean-3.32.1_0.darwin_10.x86_64.tbz2                17-Aug-2021 19:07             6511158
lean-3.32.1_0.darwin_10.x86_64.tbz2.rmd160         17-Aug-2021 19:07                 512
lean-3.32.1_0.darwin_11.x86_64.tbz2                17-Aug-2021 19:07             6353981
lean-3.32.1_0.darwin_11.x86_64.tbz2.rmd160         17-Aug-2021 19:07                 512
lean-3.32.1_0.darwin_12.x86_64.tbz2                16-Aug-2021 05:50             6351868
lean-3.32.1_0.darwin_12.x86_64.tbz2.rmd160         16-Aug-2021 05:50                 512
lean-3.32.1_0.darwin_13.x86_64.tbz2                16-Aug-2021 05:46             6168414
lean-3.32.1_0.darwin_13.x86_64.tbz2.rmd160         16-Aug-2021 05:46                 512
lean-3.32.1_0.darwin_14.x86_64.tbz2                16-Aug-2021 05:49             6168703
lean-3.32.1_0.darwin_14.x86_64.tbz2.rmd160         16-Aug-2021 05:49                 512
lean-3.32.1_0.darwin_15.x86_64.tbz2                16-Aug-2021 04:47             6098437
lean-3.32.1_0.darwin_15.x86_64.tbz2.rmd160         16-Aug-2021 04:47                 512
lean-3.32.1_0.darwin_16.x86_64.tbz2                16-Aug-2021 06:29             6150634
lean-3.32.1_0.darwin_16.x86_64.tbz2.rmd160         16-Aug-2021 06:29                 512
lean-3.32.1_0.darwin_17.x86_64.tbz2                16-Aug-2021 06:27             6173237
lean-3.32.1_0.darwin_17.x86_64.tbz2.rmd160         16-Aug-2021 06:27                 512
lean-3.32.1_0.darwin_18.x86_64.tbz2                16-Aug-2021 04:46             6163148
lean-3.32.1_0.darwin_18.x86_64.tbz2.rmd160         16-Aug-2021 04:46                 512
lean-3.32.1_0.darwin_19.x86_64.tbz2                16-Aug-2021 04:48             6261275
lean-3.32.1_0.darwin_19.x86_64.tbz2.rmd160         16-Aug-2021 04:48                 512
lean-3.32.1_0.darwin_20.arm64.tbz2                 16-Aug-2021 04:41             5853934
lean-3.32.1_0.darwin_20.arm64.tbz2.rmd160          16-Aug-2021 04:41                 512
lean-3.32.1_0.darwin_20.x86_64.tbz2                16-Aug-2021 04:49             6128540
lean-3.32.1_0.darwin_20.x86_64.tbz2.rmd160         16-Aug-2021 04:49                 512