Index of /nightly/debian-4-official-release/pool/main/a/acl2/

../
acl2-books-certs_3.1-1_all.deb                     21-Jan-2020 13:41             4966096
acl2-books-source_3.1-1_all.deb                    21-Jan-2020 13:45             2245286
acl2-books_3.1-1_amd64.deb                         21-Jan-2020 13:48             2267156
acl2-books_3.1-1_i386.deb                          21-Jan-2020 16:02             1615674
acl2-doc_3.1-1_all.deb                             21-Jan-2020 13:44             2019688
acl2-emacs_3.1-1_all.deb                           21-Jan-2020 13:47               50538
acl2-infix-source_3.1-1_all.deb                    21-Jan-2020 13:48               85324
acl2-infix_3.1-1_amd64.deb                         21-Jan-2020 13:39              198650
acl2-infix_3.1-1_i386.deb                          21-Jan-2020 16:03              171834
acl2-source_3.1-1_all.deb                          21-Jan-2020 13:47             2269010
acl2_3.1-1_amd64.deb                               21-Jan-2020 13:46            18522740
acl2_3.1-1_i386.deb                                21-Jan-2020 16:04            16215440