Index of /linux/debian/bullseye/pool/main/a/acl2/

../
acl2-books-certs_8.3dfsg-2_all.deb                 16-Dec-2022 09:42           145388148
acl2-books-source_8.3dfsg-2_all.deb                16-Dec-2022 09:23            19539252
acl2-books_8.3dfsg-2_amd64.deb                     16-Dec-2022 12:10           252878684
acl2-books_8.3dfsg-2_arm64.deb                     16-Dec-2022 10:27           247461500
acl2-books_8.3dfsg-2_i386.deb                      16-Dec-2022 11:49           213849148
acl2-doc_8.3dfsg-2_all.deb                         16-Dec-2022 11:51              447608
acl2-emacs_8.3dfsg-2_all.deb                       16-Dec-2022 10:04               69412
acl2-infix-source_8.3dfsg-2_all.deb                16-Dec-2022 10:17               79880
acl2-infix_8.3dfsg-2_amd64.deb                     16-Dec-2022 11:13              490280
acl2-infix_8.3dfsg-2_arm64.deb                     16-Dec-2022 11:59              480668
acl2-infix_8.3dfsg-2_i386.deb                      16-Dec-2022 12:01              496480
acl2-source_8.3dfsg-2_all.deb                      16-Dec-2022 10:14             3339896
acl2_8.3dfsg-2_amd64.deb                           16-Dec-2022 11:38            21481292
acl2_8.3dfsg-2_arm64.deb                           16-Dec-2022 11:52            19892236
acl2_8.3dfsg-2_i386.deb                            16-Dec-2022 09:44            19487092