Index of /macports/packages/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-8.7_0.darwin_25.x86_64.tbz2.sig 1592026-Sep-29 10:58
acl2-8.7_0.darwin_25.x86_64.tbz2.rmd160 5122026-Sep-29 10:58
acl2-8.7_0.darwin_25.x86_64.tbz2 2544335152026-Sep-29 10:56
acl2-8.7_0.darwin_25.arm64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_25.arm64.tbz2.rmd160 5122026-May-02 09:01
acl2-8.7_0.darwin_25.arm64.tbz2 2554655912026-May-02 09:01
acl2-8.7_0.darwin_24.x86_64.tbz2.sig 1592026-Sep-11 03:31
acl2-8.7_0.darwin_24.x86_64.tbz2.rmd160 5122026-May-02 00:01
acl2-8.7_0.darwin_24.x86_64.tbz2 2540715892026-May-02 00:01
acl2-8.7_0.darwin_24.arm64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_24.arm64.tbz2.rmd160 5122026-May-04 03:02
acl2-8.7_0.darwin_24.arm64.tbz2 2554422282026-May-04 03:02
acl2-8.7_0.darwin_23.x86_64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_23.x86_64.tbz2.rmd160 5122026-May-02 11:43
acl2-8.7_0.darwin_23.x86_64.tbz2 2540801982026-May-02 11:43
acl2-8.7_0.darwin_23.arm64.tbz2.sig 1592026-Sep-11 03:31
acl2-8.7_0.darwin_23.arm64.tbz2.rmd160 5122026-May-01 17:14
acl2-8.7_0.darwin_23.arm64.tbz2 2554734822026-May-01 17:14
acl2-8.7_0.darwin_22.x86_64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_22.x86_64.tbz2.rmd160 5122026-May-03 12:31
acl2-8.7_0.darwin_22.x86_64.tbz2 2541028392026-May-03 12:31
acl2-8.7_0.darwin_22.arm64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_22.arm64.tbz2.rmd160 5122026-May-03 03:02
acl2-8.7_0.darwin_22.arm64.tbz2 2555156922026-May-03 03:02
acl2-8.7_0.darwin_21.x86_64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_21.x86_64.tbz2.rmd160 5122026-May-01 01:30
acl2-8.7_0.darwin_21.x86_64.tbz2 2541105662026-May-01 01:30
acl2-8.7_0.darwin_21.arm64.tbz2.sig 1592026-Sep-11 03:31
acl2-8.7_0.darwin_21.arm64.tbz2.rmd160 5122026-May-01 02:30
acl2-8.7_0.darwin_21.arm64.tbz2 2554649162026-May-01 02:30
acl2-8.7_0.darwin_20.x86_64.tbz2.sig 1592026-Sep-11 03:31
acl2-8.7_0.darwin_20.x86_64.tbz2.rmd160 5122026-May-01 01:19
acl2-8.7_0.darwin_20.x86_64.tbz2 2540678792026-May-01 01:19
acl2-8.7_0.darwin_20.arm64.tbz2.sig 1592026-Sep-11 03:33
acl2-8.7_0.darwin_20.arm64.tbz2.rmd160 5122026-May-06 21:37
acl2-8.7_0.darwin_20.arm64.tbz2 2555258072026-May-06 21:37
acl2-8.7_0.darwin_19.x86_64.tbz2.sig 1592026-Sep-11 03:31
acl2-8.7_0.darwin_19.x86_64.tbz2.rmd160 5122026-May-01 00:31
acl2-8.7_0.darwin_19.x86_64.tbz2 2540986712026-May-01 00:31
acl2-8.7_0.darwin_18.x86_64.tbz2.sig 1592026-Sep-11 03:33
acl2-8.7_0.darwin_18.x86_64.tbz2.rmd160 5122026-May-01 00:01
acl2-8.7_0.darwin_18.x86_64.tbz2 2538137152026-May-01 00:01
acl2-8.7_0.darwin_17.x86_64.tbz2.sig 1592026-Sep-11 03:33
acl2-8.7_0.darwin_17.x86_64.tbz2.rmd160 5122026-Apr-30 23:37
acl2-8.7_0.darwin_17.x86_64.tbz2 2538001712026-Apr-30 23:37
acl2-8.7_0.darwin_16.x86_64.tbz2.sig 1592026-Sep-11 03:31
acl2-8.7_0.darwin_16.x86_64.tbz2.rmd160 5122026-Apr-30 23:45
acl2-8.7_0.darwin_16.x86_64.tbz2 2527070122026-Apr-30 23:45
acl2-8.7_0.darwin_15.x86_64.tbz2.sig 1592026-Sep-11 03:33
acl2-8.7_0.darwin_15.x86_64.tbz2.rmd160 5122026-May-01 00:28
acl2-8.7_0.darwin_15.x86_64.tbz2 2527776382026-May-01 00:28
acl2-8.7_0.darwin_14.x86_64.tbz2.sig 1592026-Sep-11 03:31
acl2-8.7_0.darwin_14.x86_64.tbz2.rmd160 5122026-Apr-30 23:51
acl2-8.7_0.darwin_14.x86_64.tbz2 2526236672026-Apr-30 23:51
acl2-8.7_0.darwin_13.x86_64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_13.x86_64.tbz2.rmd160 5122026-Apr-30 23:49
acl2-8.7_0.darwin_13.x86_64.tbz2 2527617302026-Apr-30 23:49
acl2-8.7_0.darwin_12.x86_64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_12.x86_64.tbz2.rmd160 5122026-May-01 00:05
acl2-8.7_0.darwin_12.x86_64.tbz2 2527840852026-May-01 00:05
acl2-8.7_0.darwin_11.x86_64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_11.x86_64.tbz2.rmd160 5122026-Apr-30 23:40
acl2-8.7_0.darwin_11.x86_64.tbz2 2527278832026-Apr-30 23:40
acl2-8.7_0.darwin_10.x86_64.tbz2.sig 1592026-Sep-11 03:32
acl2-8.7_0.darwin_10.x86_64.tbz2.rmd160 5122026-Apr-30 23:56
acl2-8.7_0.darwin_10.x86_64.tbz2 2527033292026-Apr-30 23:56