Index of /loongson/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_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_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_mipsel.deb                          06-May-2016 18:27     15M
acl2_7.2dfsg.orig.tar.gz                           14-Apr-2016 21:54     61M