Index of /macports/packages/acl2/

File NameFile SizeDate
Parent directory/--
acl2-8.3_0.darwin_10.i386.tbz2 140M17-Aug-2023 21:06
acl2-8.3_0.darwin_10.i386.tbz2.rmd160 51217-Aug-2023 21:06
acl2-8.3_0.darwin_10.x86_64.tbz2 139M17-Apr-2021 20:31
acl2-8.3_0.darwin_10.x86_64.tbz2.rmd160 51217-Apr-2021 20:31
acl2-8.3_0.darwin_11.x86_64.tbz2 139M17-Apr-2021 20:27
acl2-8.3_0.darwin_11.x86_64.tbz2.rmd160 51217-Apr-2021 20:27
acl2-8.3_0.darwin_12.x86_64.tbz2 139M17-Apr-2021 20:28
acl2-8.3_0.darwin_12.x86_64.tbz2.rmd160 51217-Apr-2021 20:28
acl2-8.3_0.darwin_13.x86_64.tbz2 139M17-Apr-2021 20:26
acl2-8.3_0.darwin_13.x86_64.tbz2.rmd160 51217-Apr-2021 20:26
acl2-8.3_0.darwin_14.x86_64.tbz2 139M17-Apr-2021 20:27
acl2-8.3_0.darwin_14.x86_64.tbz2.rmd160 51217-Apr-2021 20:27
acl2-8.3_0.darwin_15.x86_64.tbz2 139M17-Apr-2021 20:29
acl2-8.3_0.darwin_15.x86_64.tbz2.rmd160 51217-Apr-2021 20:29
acl2-8.3_0.darwin_16.x86_64.tbz2 139M17-Apr-2021 20:28
acl2-8.3_0.darwin_16.x86_64.tbz2.rmd160 51217-Apr-2021 20:28
acl2-8.3_0.darwin_17.x86_64.tbz2 139M17-Apr-2021 20:29
acl2-8.3_0.darwin_17.x86_64.tbz2.rmd160 51217-Apr-2021 20:29
acl2-8.3_0.darwin_18.x86_64.tbz2 139M17-Apr-2021 20:31
acl2-8.3_0.darwin_18.x86_64.tbz2.rmd160 51217-Apr-2021 20:31
acl2-8.3_0.darwin_19.x86_64.tbz2 139M17-Apr-2021 20:27
acl2-8.3_0.darwin_19.x86_64.tbz2.rmd160 51217-Apr-2021 20:27
acl2-8.3_0.darwin_20.x86_64.tbz2 139M17-Apr-2021 20:30
acl2-8.3_0.darwin_20.x86_64.tbz2.rmd160 51217-Apr-2021 20:30
acl2-8.3_0.darwin_21.x86_64.tbz2 139M28-Dec-2022 01:10
acl2-8.3_0.darwin_21.x86_64.tbz2.rmd160 51228-Dec-2022 01:10
acl2-8.3_0.darwin_22.x86_64.tbz2 139M28-Dec-2022 01:34
acl2-8.3_0.darwin_22.x86_64.tbz2.rmd160 51228-Dec-2022 01:34
acl2-8.3_0.darwin_23.x86_64.tbz2 139M12-Nov-2023 05:03
acl2-8.3_0.darwin_23.x86_64.tbz2.rmd160 51212-Nov-2023 05:03