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

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