Index of /macports/packages/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-8.7_0.darwin_10.x86_64.tbz2241.0 MiB2026-Apr-30 23:56
acl2-8.7_0.darwin_10.x86_64.tbz2.rmd160512 B2026-Apr-30 23:56
acl2-8.7_0.darwin_11.x86_64.tbz2241.0 MiB2026-Apr-30 23:40
acl2-8.7_0.darwin_11.x86_64.tbz2.rmd160512 B2026-Apr-30 23:40
acl2-8.7_0.darwin_12.x86_64.tbz2241.1 MiB2026-May-01 00:05
acl2-8.7_0.darwin_12.x86_64.tbz2.rmd160512 B2026-May-01 00:05
acl2-8.7_0.darwin_13.x86_64.tbz2241.1 MiB2026-Apr-30 23:49
acl2-8.7_0.darwin_13.x86_64.tbz2.rmd160512 B2026-Apr-30 23:49
acl2-8.7_0.darwin_14.x86_64.tbz2240.9 MiB2026-Apr-30 23:51
acl2-8.7_0.darwin_14.x86_64.tbz2.rmd160512 B2026-Apr-30 23:51
acl2-8.7_0.darwin_15.x86_64.tbz2241.1 MiB2026-May-01 00:28
acl2-8.7_0.darwin_15.x86_64.tbz2.rmd160512 B2026-May-01 00:28
acl2-8.7_0.darwin_16.x86_64.tbz2241.0 MiB2026-Apr-30 23:45
acl2-8.7_0.darwin_16.x86_64.tbz2.rmd160512 B2026-Apr-30 23:45
acl2-8.7_0.darwin_17.x86_64.tbz2242.0 MiB2026-Apr-30 23:37
acl2-8.7_0.darwin_17.x86_64.tbz2.rmd160512 B2026-Apr-30 23:37
acl2-8.7_0.darwin_18.x86_64.tbz2242.1 MiB2026-May-01 00:01
acl2-8.7_0.darwin_18.x86_64.tbz2.rmd160512 B2026-May-01 00:01
acl2-8.7_0.darwin_19.x86_64.tbz2242.3 MiB2026-May-01 00:31
acl2-8.7_0.darwin_19.x86_64.tbz2.rmd160512 B2026-May-01 00:31
acl2-8.7_0.darwin_20.arm64.tbz2243.7 MiB2026-May-06 21:37
acl2-8.7_0.darwin_20.arm64.tbz2.rmd160512 B2026-May-06 21:37
acl2-8.7_0.darwin_20.x86_64.tbz2242.3 MiB2026-May-01 01:19
acl2-8.7_0.darwin_20.x86_64.tbz2.rmd160512 B2026-May-01 01:19
acl2-8.7_0.darwin_21.arm64.tbz2243.6 MiB2026-May-01 02:30
acl2-8.7_0.darwin_21.arm64.tbz2.rmd160512 B2026-May-01 02:30
acl2-8.7_0.darwin_21.x86_64.tbz2242.3 MiB2026-May-01 01:30
acl2-8.7_0.darwin_21.x86_64.tbz2.rmd160512 B2026-May-01 01:30
acl2-8.7_0.darwin_22.arm64.tbz2243.7 MiB2026-May-03 03:02
acl2-8.7_0.darwin_22.arm64.tbz2.rmd160512 B2026-May-03 03:02
acl2-8.7_0.darwin_22.x86_64.tbz2242.3 MiB2026-May-03 12:31
acl2-8.7_0.darwin_22.x86_64.tbz2.rmd160512 B2026-May-03 12:31
acl2-8.7_0.darwin_23.arm64.tbz2243.6 MiB2026-May-01 17:14
acl2-8.7_0.darwin_23.arm64.tbz2.rmd160512 B2026-May-01 17:14
acl2-8.7_0.darwin_23.x86_64.tbz2242.3 MiB2026-May-02 11:43
acl2-8.7_0.darwin_23.x86_64.tbz2.rmd160512 B2026-May-02 11:43
acl2-8.7_0.darwin_24.arm64.tbz2243.6 MiB2026-May-04 03:02
acl2-8.7_0.darwin_24.arm64.tbz2.rmd160512 B2026-May-04 03:02
acl2-8.7_0.darwin_24.x86_64.tbz2242.3 MiB2026-May-02 00:01
acl2-8.7_0.darwin_24.x86_64.tbz2.rmd160512 B2026-May-02 00:01
acl2-8.7_0.darwin_25.arm64.tbz2243.6 MiB2026-May-02 09:01
acl2-8.7_0.darwin_25.arm64.tbz2.rmd160512 B2026-May-02 09:01