Index of /mipsel/pool/main/a/acl2/

../
acl2-books-certs_7.2dfsg-2_all.deb                 04-May-2016 21:30     52M
acl2-books-source_7.2dfsg-2_all.deb                04-May-2016 21:30     10M
acl2-books_7.2dfsg-2_mips64el.deb                  07-May-2016 15:33    109M
acl2-books_7.2dfsg-2_mipsel.deb                    06-May-2016 18:27     75M
acl2-doc_7.2dfsg-2_all.deb                         04-May-2016 21:30    373K
acl2-emacs_7.2dfsg-2_all.deb                       04-May-2016 21:30     63K
acl2-infix-source_7.2dfsg-2_all.deb                04-May-2016 21:30     77K
acl2-infix_7.2dfsg-2_mips64el.deb                  07-May-2016 15:33    416K
acl2-infix_7.2dfsg-2_mipsel.deb                    06-May-2016 18:27    424K
acl2-source_7.2dfsg-2_all.deb                      04-May-2016 21:30      3M
acl2_7.2dfsg-2.debian.tar.xz                       04-May-2016 21:30    199K
acl2_7.2dfsg-2.dsc                                 04-May-2016 21:30    2231
acl2_7.2dfsg-2_mips64el.deb                        07-May-2016 15:33     15M
acl2_7.2dfsg-2_mipsel.deb                          06-May-2016 18:27     15M
acl2_7.2dfsg.orig.tar.gz                           14-Apr-2016 21:54     61M