Index of /macports/packages/acl2/
../
acl2-8.3_0.darwin_10.i386.tbz2 17-Aug-2023 21:06 140M
acl2-8.3_0.darwin_10.i386.tbz2.rmd160 17-Aug-2023 21:06 512
acl2-8.3_0.darwin_10.x86_64.tbz2 17-Apr-2021 20:31 139M
acl2-8.3_0.darwin_10.x86_64.tbz2.rmd160 17-Apr-2021 20:31 512
acl2-8.3_0.darwin_11.x86_64.tbz2 17-Apr-2021 20:27 139M
acl2-8.3_0.darwin_11.x86_64.tbz2.rmd160 17-Apr-2021 20:27 512
acl2-8.3_0.darwin_12.x86_64.tbz2 17-Apr-2021 20:28 139M
acl2-8.3_0.darwin_12.x86_64.tbz2.rmd160 17-Apr-2021 20:28 512
acl2-8.3_0.darwin_13.x86_64.tbz2 17-Apr-2021 20:26 139M
acl2-8.3_0.darwin_13.x86_64.tbz2.rmd160 17-Apr-2021 20:26 512
acl2-8.3_0.darwin_14.x86_64.tbz2 17-Apr-2021 20:27 139M
acl2-8.3_0.darwin_14.x86_64.tbz2.rmd160 17-Apr-2021 20:27 512
acl2-8.3_0.darwin_15.x86_64.tbz2 17-Apr-2021 20:29 139M
acl2-8.3_0.darwin_15.x86_64.tbz2.rmd160 17-Apr-2021 20:29 512
acl2-8.3_0.darwin_16.x86_64.tbz2 17-Apr-2021 20:28 139M
acl2-8.3_0.darwin_16.x86_64.tbz2.rmd160 17-Apr-2021 20:28 512
acl2-8.3_0.darwin_17.x86_64.tbz2 17-Apr-2021 20:29 139M
acl2-8.3_0.darwin_17.x86_64.tbz2.rmd160 17-Apr-2021 20:29 512
acl2-8.3_0.darwin_18.x86_64.tbz2 17-Apr-2021 20:31 139M
acl2-8.3_0.darwin_18.x86_64.tbz2.rmd160 17-Apr-2021 20:31 512
acl2-8.3_0.darwin_19.x86_64.tbz2 17-Apr-2021 20:27 139M
acl2-8.3_0.darwin_19.x86_64.tbz2.rmd160 17-Apr-2021 20:27 512
acl2-8.3_0.darwin_20.x86_64.tbz2 17-Apr-2021 20:30 139M
acl2-8.3_0.darwin_20.x86_64.tbz2.rmd160 17-Apr-2021 20:30 512
acl2-8.3_0.darwin_21.x86_64.tbz2 28-Dec-2022 01:10 139M
acl2-8.3_0.darwin_21.x86_64.tbz2.rmd160 28-Dec-2022 01:10 512
acl2-8.3_0.darwin_22.x86_64.tbz2 28-Dec-2022 01:34 139M
acl2-8.3_0.darwin_22.x86_64.tbz2.rmd160 28-Dec-2022 01:34 512
acl2-8.3_0.darwin_23.x86_64.tbz2 12-Nov-2023 05:03 139M
acl2-8.3_0.darwin_23.x86_64.tbz2.rmd160 12-Nov-2023 05:03 512
acl2-8.3_0.darwin_24.x86_64.tbz2 09-Oct-2024 17:09 139M
acl2-8.3_0.darwin_24.x86_64.tbz2.rmd160 09-Oct-2024 17:09 512