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

Icon  Name                                 Last modified      Size  
[PARENTDIR] Parent Directory                                          -   
[   ] acl2_8.6+dfsg.orig.tar.gz            2025-04-26 23:21  229M  
[   ] acl2_8.6+dfsg-3.debian.tar.xz        2025-05-14 16:10  695K  
[TXT] acl2_8.6+dfsg-3.dsc                  2025-05-14 16:10  2.2K  
[   ] acl2-books-certs_8.6+dfsg-3_all.deb  2025-05-14 22:24  212M  
[   ] acl2-books-source_8.6+dfsg-3_all.deb 2025-05-14 22:24   26M  
[   ] acl2-doc_8.6+dfsg-3_all.deb          2025-05-14 22:24  513K  
[   ] acl2-infix-source_8.6+dfsg-3_all.deb 2025-05-14 22:24   71K  
[   ] acl2-source_8.6+dfsg-3_all.deb       2025-05-14 22:24  3.8M  
[   ] elpa-acl2_8.6+dfsg-3_all.deb         2025-05-14 22:24   77K  
[   ] acl2-books_8.6+dfsg-3_amd64.deb      2025-05-14 22:40  416M  
[   ] acl2-infix_8.6+dfsg-3_amd64.deb      2025-05-14 22:40  865K  
[   ] acl2_8.6+dfsg-3_amd64.deb            2025-05-14 22:40   35M  
[   ] acl2-books_8.6+dfsg-3_armhf.deb      2025-05-15 00:17  395M  
[   ] acl2-infix_8.6+dfsg-3_armhf.deb      2025-05-15 00:17  846K  
[   ] acl2_8.6+dfsg-3_armhf.deb            2025-05-15 00:17   38M  
[   ] acl2-books_8.6+dfsg-3_i386.deb       2025-05-15 00:27  344M  
[   ] acl2-infix_8.6+dfsg-3_i386.deb       2025-05-15 00:27  853K  
[   ] acl2_8.6+dfsg-3_i386.deb             2025-05-15 00:27   39M  
[   ] acl2-books_8.6+dfsg-3+b1_arm64.deb   2026-01-20 06:36  410M  
[   ] acl2-infix_8.6+dfsg-3+b1_arm64.deb   2026-01-20 06:36  826K  
[   ] acl2_8.6+dfsg-3+b1_arm64.deb         2026-01-20 06:36   35M  
[   ] acl2_8.7+dfsg.orig.tar.gz            2026-06-17 10:01  238M  
[   ] acl2_8.7+dfsg-3.debian.tar.xz        2026-07-17 17:14  881K  
[TXT] acl2_8.7+dfsg-3.dsc                  2026-07-17 17:14  2.2K  
[   ] acl2-books_8.7+dfsg-3_arm64.deb      2026-07-17 22:32  448M  
[   ] acl2-infix_8.7+dfsg-3_arm64.deb      2026-07-17 22:32  844K  
[   ] acl2_8.7+dfsg-3_arm64.deb            2026-07-17 22:32   31M  
[   ] acl2-books_8.7+dfsg-3_amd64.deb      2026-07-17 23:19  457M  
[   ] acl2-infix_8.7+dfsg-3_amd64.deb      2026-07-17 23:19  876K  
[   ] acl2_8.7+dfsg-3_amd64.deb            2026-07-17 23:19   34M  
[   ] acl2-books-certs_8.7+dfsg-3_all.deb  2026-07-17 23:29  233M  
[   ] acl2-books-source_8.7+dfsg-3_all.deb 2026-07-17 23:29   28M  
[   ] acl2-doc_8.7+dfsg-3_all.deb          2026-07-17 23:29  533K  
[   ] acl2-infix-source_8.7+dfsg-3_all.deb 2026-07-17 23:29   70K  
[   ] acl2-source_8.7+dfsg-3_all.deb       2026-07-17 23:29  3.9M  
[   ] elpa-acl2_8.7+dfsg-3_all.deb         2026-07-17 23:29   76K  
[   ] acl2-books_8.7+dfsg-3_armhf.deb      2026-07-18 00:27  435M  
[   ] acl2-infix_8.7+dfsg-3_armhf.deb      2026-07-18 00:27  870K  
[   ] acl2_8.7+dfsg-3_armhf.deb            2026-07-18 00:27   33M  
[   ] acl2-books_8.7+dfsg-3_i386.deb       2026-07-18 03:20  398M  
[   ] acl2-infix_8.7+dfsg-3_i386.deb       2026-07-18 03:20  864K  
[   ] acl2_8.7+dfsg-3_i386.deb             2026-07-18 03:20   35M