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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 acl2_8.6+dfsg-3_arm64.deb                          2025-05-15 21:47   36M  
 acl2-infix_8.6+dfsg-3_arm64.deb                    2025-05-15 21:47  833K  
 acl2-books_8.6+dfsg-3_arm64.deb                    2025-05-15 21:47  413M  
 acl2_8.6+dfsg-3_i386.deb                           2025-05-15 06:27   39M  
 acl2-infix_8.6+dfsg-3_i386.deb                     2025-05-15 06:27  853K  
 acl2-books_8.6+dfsg-3_i386.deb                     2025-05-15 06:27  344M  
 acl2_8.6+dfsg-3_armhf.deb                          2025-05-15 06:17   38M  
 acl2-infix_8.6+dfsg-3_armhf.deb                    2025-05-15 06:17  846K  
 acl2-books_8.6+dfsg-3_armhf.deb                    2025-05-15 06:17  395M  
 acl2_8.6+dfsg-3_amd64.deb                          2025-05-15 04:40   35M  
 acl2-infix_8.6+dfsg-3_amd64.deb                    2025-05-15 04:40  865K  
 acl2-books_8.6+dfsg-3_amd64.deb                    2025-05-15 04:40  416M  
 elpa-acl2_8.6+dfsg-3_all.deb                       2025-05-15 04:24   77K  
 acl2-source_8.6+dfsg-3_all.deb                     2025-05-15 04:24  3.8M  
 acl2-infix-source_8.6+dfsg-3_all.deb               2025-05-15 04:24   71K  
 acl2-doc_8.6+dfsg-3_all.deb                        2025-05-15 04:24  513K  
 acl2-books-source_8.6+dfsg-3_all.deb               2025-05-15 04:24   26M  
 acl2-books-certs_8.6+dfsg-3_all.deb                2025-05-15 04:24  212M  
 acl2_8.6+dfsg-3.dsc                                2025-05-14 22:10  2.2K  
 acl2_8.6+dfsg-3.debian.tar.xz                      2025-05-14 22:10  695K  
 acl2_8.6+dfsg.orig.tar.gz                          2025-04-27 05:21  229M