| Parent directory/ | - | - |
| lean-3.50.3_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 12 Nov 2023 11:44:57 +0000 |
| lean-3.50.3_0.darwin_23.x86_64.tbz2 | 5.5 MiB | 12 Nov 2023 11:44:57 +0000 |
| lean-3.50.3_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 19 Jan 2024 19:51:21 +0000 |
| lean-3.50.3_0.darwin_23.arm64.tbz2 | 5.3 MiB | 19 Jan 2024 19:51:21 +0000 |
| lean-3.50.3_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 07:35:13 +0000 |
| lean-3.50.3_0.darwin_22.x86_64.tbz2 | 5.8 MiB | 13 Jan 2023 07:35:13 +0000 |
| lean-3.50.3_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 26 Feb 2023 09:07:55 +0000 |
| lean-3.50.3_0.darwin_22.arm64.tbz2 | 5.5 MiB | 26 Feb 2023 09:07:55 +0000 |
| lean-3.50.3_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 08:11:47 +0000 |
| lean-3.50.3_0.darwin_21.x86_64.tbz2 | 5.8 MiB | 13 Jan 2023 08:11:47 +0000 |
| lean-3.50.3_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 13 Jan 2023 08:12:32 +0000 |
| lean-3.50.3_0.darwin_21.arm64.tbz2 | 5.5 MiB | 13 Jan 2023 08:12:32 +0000 |
| lean-3.50.3_0.darwin_20.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 06:46:53 +0000 |
| lean-3.50.3_0.darwin_20.x86_64.tbz2 | 5.8 MiB | 13 Jan 2023 06:46:53 +0000 |
| lean-3.50.3_0.darwin_20.arm64.tbz2.rmd160 | 512 B | 13 Jan 2023 06:33:49 +0000 |
| lean-3.50.3_0.darwin_20.arm64.tbz2 | 5.5 MiB | 13 Jan 2023 06:33:49 +0000 |
| lean-3.50.3_0.darwin_19.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 06:54:47 +0000 |
| lean-3.50.3_0.darwin_19.x86_64.tbz2 | 5.9 MiB | 13 Jan 2023 06:54:47 +0000 |
| lean-3.50.3_0.darwin_18.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 07:18:49 +0000 |
| lean-3.50.3_0.darwin_18.x86_64.tbz2 | 5.8 MiB | 13 Jan 2023 07:18:49 +0000 |
| lean-3.50.3_0.darwin_17.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 07:17:38 +0000 |
| lean-3.50.3_0.darwin_17.x86_64.tbz2 | 5.4 MiB | 13 Jan 2023 07:17:38 +0000 |
| lean-3.50.3_0.darwin_16.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 06:49:16 +0000 |
| lean-3.50.3_0.darwin_16.x86_64.tbz2 | 5.4 MiB | 13 Jan 2023 06:49:16 +0000 |
| lean-3.50.3_0.darwin_15.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 07:04:25 +0000 |
| lean-3.50.3_0.darwin_15.x86_64.tbz2 | 5.5 MiB | 13 Jan 2023 07:04:25 +0000 |
| lean-3.50.3_0.darwin_14.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 10:01:44 +0000 |
| lean-3.50.3_0.darwin_14.x86_64.tbz2 | 5.5 MiB | 13 Jan 2023 10:01:44 +0000 |
| lean-3.50.3_0.darwin_13.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 06:51:51 +0000 |
| lean-3.50.3_0.darwin_13.x86_64.tbz2 | 5.5 MiB | 13 Jan 2023 06:51:51 +0000 |
| lean-3.50.3_0.darwin_12.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 07:32:27 +0000 |
| lean-3.50.3_0.darwin_12.x86_64.tbz2 | 5.6 MiB | 13 Jan 2023 07:32:27 +0000 |
| lean-3.50.3_0.darwin_10.x86_64.tbz2.rmd160 | 512 B | 13 Jan 2023 07:06:06 +0000 |
| lean-3.50.3_0.darwin_10.x86_64.tbz2 | 6.0 MiB | 13 Jan 2023 07:06:06 +0000 |
