Index of /bionic-frozen/pool/universe/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 14-Jan-2018 03:08            73403184
acl2-books-source_8.0dfsg-1_all.deb                14-Jan-2018 03:08            12466104
acl2-books_8.0dfsg-1_i386.deb                      14-Jan-2018 04:49           119603224
acl2-doc_8.0dfsg-1_all.deb                         14-Jan-2018 03:08              394360
acl2-emacs_8.0dfsg-1_all.deb                       14-Jan-2018 03:08               60340
acl2-infix-source_8.0dfsg-1_all.deb                14-Jan-2018 03:08               71888
acl2-infix_8.0dfsg-1_i386.deb                      14-Jan-2018 04:49              390264
acl2-source_8.0dfsg-1_all.deb                      14-Jan-2018 03:08             3074488
acl2_8.0dfsg-1.debian.tar.xz                       13-Jan-2018 23:08              204760
acl2_8.0dfsg-1.dsc                                 13-Jan-2018 23:08                2245
acl2_8.0dfsg-1_i386.deb                            14-Jan-2018 04:49            16994892
acl2_8.0dfsg.orig.tar.gz                           13-Jan-2018 23:08            77635571