Index of /macports/packages/lean/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
lean-3.51.1_0.darwin_10.i386.tbz2 61984112026-Sep-30 09:44
lean-3.51.1_0.darwin_10.i386.tbz2.rmd160 5122026-Sep-30 09:45
lean-3.51.1_0.darwin_10.i386.tbz2.sig 1592026-Sep-30 09:45
lean-3.51.1_0.darwin_10.x86_64.tbz2 62525302026-Oct-02 06:34
lean-3.51.1_0.darwin_10.x86_64.tbz2.rmd160 5122026-Oct-02 06:34
lean-3.51.1_0.darwin_10.x86_64.tbz2.sig 1592026-Oct-02 06:34
lean-3.51.1_0.darwin_12.x86_64.tbz2 58459712025-Mar-22 01:43
lean-3.51.1_0.darwin_12.x86_64.tbz2.rmd160 5122025-Mar-22 01:43
lean-3.51.1_0.darwin_12.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_13.x86_64.tbz2 56734102025-Mar-22 01:43
lean-3.51.1_0.darwin_13.x86_64.tbz2.rmd160 5122025-Mar-22 01:43
lean-3.51.1_0.darwin_13.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_14.x86_64.tbz2 57612172024-Sep-06 07:25
lean-3.51.1_0.darwin_14.x86_64.tbz2.rmd160 5122024-Sep-06 07:25
lean-3.51.1_0.darwin_14.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_15.x86_64.tbz2 57610182024-Sep-06 07:26
lean-3.51.1_0.darwin_15.x86_64.tbz2.rmd160 5122024-Sep-06 07:26
lean-3.51.1_0.darwin_15.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_16.x86_64.tbz2 57248742024-Sep-06 07:27
lean-3.51.1_0.darwin_16.x86_64.tbz2.rmd160 5122024-Sep-06 07:27
lean-3.51.1_0.darwin_16.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_17.x86_64.tbz2 57445602024-Sep-06 07:29
lean-3.51.1_0.darwin_17.x86_64.tbz2.rmd160 5122024-Sep-06 07:29
lean-3.51.1_0.darwin_17.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_18.x86_64.tbz2 60645802024-Sep-06 07:23
lean-3.51.1_0.darwin_18.x86_64.tbz2.rmd160 5122024-Sep-06 07:23
lean-3.51.1_0.darwin_18.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_19.x86_64.tbz2 62010702024-Sep-06 07:19
lean-3.51.1_0.darwin_19.x86_64.tbz2.rmd160 5122024-Sep-06 07:19
lean-3.51.1_0.darwin_19.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_20.arm64.tbz2 57399422025-Sep-01 04:58
lean-3.51.1_0.darwin_20.arm64.tbz2.rmd160 5122025-Sep-01 04:58
lean-3.51.1_0.darwin_20.arm64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_20.x86_64.tbz2 60846272024-Sep-06 07:23
lean-3.51.1_0.darwin_20.x86_64.tbz2.rmd160 5122024-Sep-06 07:23
lean-3.51.1_0.darwin_20.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_21.arm64.tbz2 58502242024-Sep-07 06:06
lean-3.51.1_0.darwin_21.arm64.tbz2.rmd160 5122024-Sep-07 06:06
lean-3.51.1_0.darwin_21.arm64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_21.x86_64.tbz2 61354102024-Sep-06 07:23
lean-3.51.1_0.darwin_21.x86_64.tbz2.rmd160 5122024-Sep-06 07:23
lean-3.51.1_0.darwin_21.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_22.arm64.tbz2 55420512024-Sep-07 02:22
lean-3.51.1_0.darwin_22.arm64.tbz2.rmd160 5122024-Sep-07 02:22
lean-3.51.1_0.darwin_22.arm64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_22.x86_64.tbz2 57927862024-Sep-07 04:45
lean-3.51.1_0.darwin_22.x86_64.tbz2.rmd160 5122024-Sep-07 04:45
lean-3.51.1_0.darwin_22.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_23.arm64.tbz2 55874732024-Sep-06 07:06
lean-3.51.1_0.darwin_23.arm64.tbz2.rmd160 5122024-Sep-06 07:06
lean-3.51.1_0.darwin_23.arm64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_23.x86_64.tbz2 58099342024-Sep-06 15:23
lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160 5122024-Sep-06 15:23
lean-3.51.1_0.darwin_23.x86_64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_24.arm64.tbz2 56229582025-Mar-16 08:57
lean-3.51.1_0.darwin_24.arm64.tbz2.rmd160 5122025-Mar-16 08:57
lean-3.51.1_0.darwin_24.arm64.tbz2.sig 1592026-Sep-11 09:52
lean-3.51.1_0.darwin_24.x86_64.tbz2 58009652024-Oct-10 11:06
lean-3.51.1_0.darwin_24.x86_64.tbz2.rmd160 5122024-Oct-10 11:06
lean-3.51.1_0.darwin_24.x86_64.tbz2.sig 1592026-Sep-11 09:52