Index of /ubuntu/pool/main/a/acl2/

../
acl2-books-certs_7.1-1_all.deb                     14-Jan-2021 22:30            13191160
acl2-books-certs_8.0dfsg-1_all.deb                 14-Jan-2021 23:01            73403184
acl2-books-source_7.1-1_all.deb                    14-Jan-2021 22:38            10333152
acl2-books-source_8.0dfsg-1_all.deb                14-Jan-2021 23:01            12466104
acl2-books_7.1-1_amd64.deb                         14-Jan-2021 22:40            19608788
acl2-books_8.0dfsg-1_amd64.deb                     14-Jan-2021 23:21           138083420
acl2-doc_7.1-1_all.deb                             14-Jan-2021 22:44              361780
acl2-doc_8.0dfsg-1_all.deb                         14-Jan-2021 22:57              394360
acl2-emacs_7.1-1_all.deb                           14-Jan-2021 22:43               56524
acl2-emacs_8.0dfsg-1_all.deb                       14-Jan-2021 23:05               60340
acl2-infix-source_7.1-1_all.deb                    14-Jan-2021 22:52               72020
acl2-infix-source_8.0dfsg-1_all.deb                14-Jan-2021 23:09               71888
acl2-infix_7.1-1_amd64.deb                         14-Jan-2021 22:28              143558
acl2-infix_8.0dfsg-1_amd64.deb                     14-Jan-2021 23:05              424152
acl2-source_7.1-1_all.deb                          14-Jan-2021 22:51             2838230
acl2-source_8.0dfsg-1_all.deb                      14-Jan-2021 23:20             3074488
acl2_7.1-1_amd64.deb                               14-Jan-2021 22:34            17277416
acl2_8.0dfsg-1_amd64.deb                           14-Jan-2021 23:02            19704384