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