Index of /macports-packages/acl2/


../
acl2-8.3_0.darwin_10.i386.tbz2                     17-Aug-2023 21:06           146955104
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           145303483
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           145299161
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           145291870
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           145302366
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           145300635
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           145292173
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           145283890
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           145602672
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           145600960
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           145645730
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           145644585
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           146176881
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           146177692
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           145833801
acl2-8.3_0.darwin_23.x86_64.tbz2.rmd160            12-Nov-2023 05:03                 512