Index of /macports/packages/acl2/


../
acl2-8.0_0.darwin_11.x86_64.tbz2                                                                                         25-Apr-2018 22:47     99M
acl2-8.0_0.darwin_11.x86_64.tbz2.rmd160                                                                                  25-Apr-2018 22:47     512
acl2-8.0_0.darwin_12.x86_64.tbz2                                                                                         25-Apr-2018 22:42     99M
acl2-8.0_0.darwin_12.x86_64.tbz2.rmd160                                                                                  25-Apr-2018 22:42     512
acl2-8.0_0.darwin_13.x86_64.tbz2                                                                                         25-Apr-2018 22:41     99M
acl2-8.0_0.darwin_13.x86_64.tbz2.rmd160                                                                                  25-Apr-2018 22:41     512
acl2-8.0_0.darwin_14.x86_64.tbz2                                                                                         25-Apr-2018 22:47     99M
acl2-8.0_0.darwin_14.x86_64.tbz2.rmd160                                                                                  25-Apr-2018 22:47     512
acl2-8.0_0.darwin_15.x86_64.tbz2                                                                                         25-Apr-2018 22:51     99M
acl2-8.0_0.darwin_15.x86_64.tbz2.rmd160                                                                                  25-Apr-2018 22:51     512
acl2-8.0_0.darwin_16.x86_64.tbz2                                                                                         25-Apr-2018 22:48     99M
acl2-8.0_0.darwin_16.x86_64.tbz2.rmd160                                                                                  25-Apr-2018 22:48     512
acl2-8.0_0.darwin_17.x86_64.tbz2                                                                                         25-Apr-2018 22:44     99M
acl2-8.0_0.darwin_17.x86_64.tbz2.rmd160                                                                                  25-Apr-2018 22:44     512
acl2-8.1_0.darwin_11.x86_64.tbz2                                                                                         20-Sep-2018 21:20    103M
acl2-8.1_0.darwin_11.x86_64.tbz2.rmd160                                                                                  20-Sep-2018 21:20     512
acl2-8.1_0.darwin_12.x86_64.tbz2                                                                                         20-Sep-2018 21:16    103M
acl2-8.1_0.darwin_12.x86_64.tbz2.rmd160                                                                                  20-Sep-2018 21:16     512
acl2-8.1_0.darwin_13.x86_64.tbz2                                                                                         20-Sep-2018 21:14    103M
acl2-8.1_0.darwin_13.x86_64.tbz2.rmd160                                                                                  20-Sep-2018 21:14     512
acl2-8.1_0.darwin_14.x86_64.tbz2                                                                                         20-Sep-2018 21:21    103M
acl2-8.1_0.darwin_14.x86_64.tbz2.rmd160                                                                                  20-Sep-2018 21:21     512
acl2-8.1_0.darwin_15.x86_64.tbz2                                                                                         20-Sep-2018 21:23    103M
acl2-8.1_0.darwin_15.x86_64.tbz2.rmd160                                                                                  20-Sep-2018 21:23     512
acl2-8.1_0.darwin_16.x86_64.tbz2                                                                                         20-Sep-2018 21:24    103M
acl2-8.1_0.darwin_16.x86_64.tbz2.rmd160                                                                                  20-Sep-2018 21:24     512
acl2-8.1_0.darwin_17.x86_64.tbz2                                                                                         20-Sep-2018 21:22    103M
acl2-8.1_0.darwin_17.x86_64.tbz2.rmd160                                                                                  20-Sep-2018 21:22     512
acl2-8.1_0.darwin_18.x86_64.tbz2                                                                                         21-Oct-2018 00:19    103M
acl2-8.1_0.darwin_18.x86_64.tbz2.rmd160                                                                                  21-Oct-2018 00:19     512