Index of /testing/debian-11-official-release/pool/main/a/acl2/

../
acl2-books-certs_8.3dfsg-1_all.deb                 15-Jan-2021 09:03               13664
acl2-books-source_8.3dfsg-1_all.deb                15-Jan-2021 08:30            19520532
acl2-books_8.3dfsg-1_amd64.deb                     15-Jan-2021 08:42               12956
acl2-books_8.3dfsg-1_i386.deb                      15-Jan-2021 09:23               12956
acl2-doc_8.3dfsg-1_all.deb                         15-Jan-2021 09:19              447480
acl2-emacs_8.3dfsg-1_all.deb                       15-Jan-2021 08:51               69232
acl2-infix-source_8.3dfsg-1_all.deb                15-Jan-2021 09:24               79720
acl2-infix_8.3dfsg-1_amd64.deb                     15-Jan-2021 09:36              491976
acl2-infix_8.3dfsg-1_i386.deb                      15-Jan-2021 08:30              497304
acl2-source_8.3dfsg-1_all.deb                      15-Jan-2021 09:06             3340264
acl2_8.3dfsg-1_amd64.deb                           15-Jan-2021 08:35            21252500
acl2_8.3dfsg-1_i386.deb                            15-Jan-2021 09:04            19214076