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

../
acl2-books-certs_7.1-1_all.deb                     28-May-2020 21:35            13191160
acl2-books-certs_8.0dfsg-1_all.deb                 28-May-2020 17:44            73403184
acl2-books-certs_8.2dfsg-3build1_all.deb           21-Dec-2020 16:11            68979892
acl2-books-source_7.1-1_all.deb                    28-May-2020 21:32            10333152
acl2-books-source_8.0dfsg-1_all.deb                28-May-2020 18:12            12466104
acl2-books-source_8.2dfsg-3build1_all.deb          21-Dec-2020 15:35            14290112
acl2-books_7.1-1_amd64.deb                         28-May-2020 21:53            19608788
acl2-books_8.0dfsg-1_amd64.deb                     28-May-2020 17:45           138083420
acl2-books_8.2dfsg-3build1_amd64.deb               21-Dec-2020 16:18           171294740
acl2-doc_7.1-1_all.deb                             28-May-2020 21:43              361780
acl2-doc_8.0dfsg-1_all.deb                         28-May-2020 17:35              394360
acl2-doc_8.2dfsg-3build1_all.deb                   21-Dec-2020 16:27              428100
acl2-emacs_7.1-1_all.deb                           28-May-2020 21:49               56524
acl2-emacs_8.0dfsg-1_all.deb                       28-May-2020 17:55               60340
acl2-emacs_8.2dfsg-3build1_all.deb                 21-Dec-2020 15:56               60520
acl2-infix-source_7.1-1_all.deb                    28-May-2020 21:54               72020
acl2-infix-source_8.0dfsg-1_all.deb                28-May-2020 17:43               71888
acl2-infix-source_8.2dfsg-3build1_all.deb          21-Dec-2020 16:12               71920
acl2-infix_7.1-1_amd64.deb                         28-May-2020 21:52              143558
acl2-infix_8.0dfsg-1_amd64.deb                     28-May-2020 17:59              424152
acl2-infix_8.2dfsg-3build1_amd64.deb               21-Dec-2020 16:28              481148
acl2-source_7.1-1_all.deb                          28-May-2020 21:59             2838230
acl2-source_8.0dfsg-1_all.deb                      28-May-2020 18:12             3074488
acl2-source_8.2dfsg-3build1_all.deb                21-Dec-2020 16:14             3268812
acl2_7.1-1_amd64.deb                               28-May-2020 21:56            17277416
acl2_8.0dfsg-1_amd64.deb                           28-May-2020 17:46            19704384
acl2_8.2dfsg-3build1_amd64.deb                     21-Dec-2020 16:26            21932904