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

../
acl2-books-certs_8.6+dfsg-2_all.deb                05-Jan-2026 17:52           221620564
acl2-books-certs_8.6+dfsg-3_all.deb                05-Jan-2026 17:56           221931052
acl2-books-source_8.6+dfsg-2_all.deb               05-Jan-2026 17:57            27502672
acl2-books-source_8.6+dfsg-3_all.deb               05-Jan-2026 17:57            27499896
acl2-books_8.6+dfsg-2_amd64.deb                    05-Jan-2026 18:05           435743480
acl2-books_8.6+dfsg-3_amd64.deb                    05-Jan-2026 18:12           435771168
acl2-doc_8.6+dfsg-2_all.deb                        05-Jan-2026 18:12              524912
acl2-doc_8.6+dfsg-3_all.deb                        05-Jan-2026 18:12              525148
acl2-infix-source_8.6+dfsg-2_all.deb               05-Jan-2026 18:12               72652
acl2-infix-source_8.6+dfsg-3_all.deb               05-Jan-2026 18:12               72836
acl2-infix_8.6+dfsg-2_amd64.deb                    05-Jan-2026 18:12              886800
acl2-infix_8.6+dfsg-3_amd64.deb                    05-Jan-2026 18:12              885540
acl2-source_8.6+dfsg-2_all.deb                     05-Jan-2026 18:12             3996788
acl2-source_8.6+dfsg-3_all.deb                     05-Jan-2026 18:12             3997164
acl2_8.6+dfsg-2_amd64.deb                          05-Jan-2026 18:13            36900528
acl2_8.6+dfsg-3_amd64.deb                          05-Jan-2026 18:13            37165672
elpa-acl2_8.6+dfsg-2_all.deb                       05-Jan-2026 18:13               78264
elpa-acl2_8.6+dfsg-3_all.deb                       05-Jan-2026 18:13               78456