Index of /kali/pool/main/a/acl2/

../
acl2-books-certs_8.6+dfsg-3_all.deb                14-May-2025 16:24    212M
acl2-books-certs_8.7+dfsg-3_all.deb                17-Jul-2026 17:29    233M
acl2-books_8.6+dfsg-3_amd64.deb                    14-May-2025 16:40    416M
acl2-books_8.7+dfsg-3_amd64.deb                    17-Jul-2026 17:19    457M
acl2-doc_8.6+dfsg-3_all.deb                        14-May-2025 16:24    513K
acl2-doc_8.7+dfsg-3_all.deb                        17-Jul-2026 17:29    533K
acl2-infix_8.6+dfsg-3_amd64.deb                    14-May-2025 16:40    865K
acl2-infix_8.7+dfsg-3_amd64.deb                    17-Jul-2026 17:19    876K
acl2_8.6+dfsg-3_amd64.deb                          14-May-2025 16:40     35M
acl2_8.7+dfsg-3_amd64.deb                          17-Jul-2026 17:19     34M
elpa-acl2_8.6+dfsg-3_all.deb                       14-May-2025 16:24     77K
elpa-acl2_8.7+dfsg-3_all.deb                       17-Jul-2026 17:29     76K