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

../
acl2-books-certs_4.3-3_all.deb                     24-Sep-2019 07:41             4426578
acl2-books-source_4.3-3_all.deb                    24-Sep-2019 08:14             6462160
acl2-books_4.3-3_amd64.deb                         24-Sep-2019 07:58            15944036
acl2-books_4.3-3_i386.deb                          21-Jan-2020 15:21            13895640
acl2-doc_4.3-3_all.deb                             24-Sep-2019 08:14              362274
acl2-emacs_4.3-3_all.deb                           24-Sep-2019 08:09               60860
acl2-infix-source_4.3-3_all.deb                    24-Sep-2019 07:53               91494
acl2-infix_4.3-3_amd64.deb                         24-Sep-2019 08:02              203674
acl2-infix_4.3-3_i386.deb                          21-Jan-2020 15:26              184088
acl2-source_4.3-3_all.deb                          24-Sep-2019 08:03             3289530
acl2_4.3-3_amd64.deb                               24-Sep-2019 08:13            28317704
acl2_4.3-3_i386.deb                                21-Jan-2020 15:21            24297636