Index of /etap/pool/main/a/acl2/

../
acl2-books-certs_6.5-2_all.deb                     27-Sep-2017 17:21      6M
acl2-books-source_6.5-2_all.deb                    27-Sep-2017 17:25      7M
acl2-books_6.5-2_amd64.deb                         27-Sep-2017 17:50     22M
acl2-books_6.5-2_i386.deb                          27-Sep-2017 18:09     21M
acl2-doc_6.5-2_all.deb                             27-Sep-2017 15:47      2M
acl2-emacs_6.5-2_all.deb                           27-Sep-2017 15:50     59K
acl2-infix-source_6.5-2_all.deb                    27-Sep-2017 17:19     78K
acl2-infix_6.5-2_amd64.deb                         27-Sep-2017 15:06    147K
acl2-infix_6.5-2_i386.deb                          27-Sep-2017 17:40    148K
acl2-source_6.5-2_all.deb                          27-Sep-2017 17:32      3M
acl2_6.5-2.debian.tar.xz                           27-Sep-2017 18:22    125K
acl2_6.5-2.dsc                                     27-Sep-2017 18:22    1807
acl2_6.5-2_amd64.deb                               27-Sep-2017 19:01     16M
acl2_6.5-2_i386.deb                                27-Sep-2017 16:19     13M
acl2_6.5.orig-books.tar.gz                         27-Sep-2017 18:22     14M
acl2_6.5.orig.tar.gz                               27-Sep-2017 18:22      6M