Index of /ubuntu/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-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_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-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-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-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_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-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_7.1-1_amd64.deb                               28-May-2020 21:56            17277416
acl2_8.0dfsg-1_amd64.deb                           28-May-2020 17:46            19704384