Index of /old/pool/main/a/acl2/

../
acl2-books-certs_8.6+dfsg-2_all.deb                23-Apr-2026 08:04           221620564
acl2-books-source_8.6+dfsg-2_all.deb               23-Apr-2026 08:22            27502672
acl2-books_8.6+dfsg-2_arm64.deb                    23-Apr-2026 07:55           432522576
acl2-doc_8.6+dfsg-2_all.deb                        23-Apr-2026 08:30              524912
acl2-infix-source_8.6+dfsg-2_all.deb               23-Apr-2026 07:48               72652
acl2-infix_8.6+dfsg-2_arm64.deb                    23-Apr-2026 08:36              853784
acl2-source_8.6+dfsg-2_all.deb                     23-Apr-2026 08:18             3996788
acl2_8.6+dfsg-2_arm64.deb                          23-Apr-2026 08:04            36610984
elpa-acl2_8.6+dfsg-2_all.deb                       23-Apr-2026 08:41               78264