Index of /bionic-dev/pool/main/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 07-Jan-2019 18:14            73403184
acl2-books-source_8.0dfsg-1_all.deb                07-Jan-2019 19:28            12466104
acl2-books_8.0dfsg-1_amd64.deb                     07-Jan-2019 19:09           138083420
acl2-books_8.0dfsg-1_i386.deb                      07-Jan-2019 18:08           119603224
acl2-doc_8.0dfsg-1_all.deb                         07-Jan-2019 18:37              394360
acl2-emacs_8.0dfsg-1_all.deb                       07-Jan-2019 18:58               60340
acl2-infix-source_8.0dfsg-1_all.deb                07-Jan-2019 18:48               71888
acl2-infix_8.0dfsg-1_amd64.deb                     07-Jan-2019 19:16              424152
acl2-infix_8.0dfsg-1_i386.deb                      07-Jan-2019 18:13              390264
acl2-source_8.0dfsg-1_all.deb                      07-Jan-2019 19:27             3074488
acl2_8.0dfsg-1_amd64.deb                           07-Jan-2019 18:42            19704384
acl2_8.0dfsg-1_i386.deb                            07-Jan-2019 18:59            16994892