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

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] acl2-books-certs_8.5dfsg-6_all.deb   2024-07-29 08:44   64M  
[   ] acl2-books-certs_8.6+dfsg-2_all.deb  2025-04-28 04:56  211M  
[   ] acl2-books-source_8.5dfsg-6_all.deb  2024-07-29 08:44   24M  
[   ] acl2-books-source_8.6+dfsg-2_all.deb 2025-04-28 04:56   26M  
[   ] acl2-books_8.5dfsg-6_amd64.deb       2024-07-29 08:18  151M  
[   ] acl2-books_8.5dfsg-6_arm64.deb       2024-07-29 08:18  149M  
[   ] acl2-books_8.5dfsg-6_armel.deb       2024-07-29 09:25  142M  
[   ] acl2-books_8.5dfsg-6_armhf.deb       2024-07-29 16:35  144M  
[   ] acl2-books_8.5dfsg-6_i386.deb        2024-07-29 08:49  133M  
[   ] acl2-books_8.6+dfsg-2_amd64.deb      2025-04-28 04:40  416M  
[   ] acl2-books_8.6+dfsg-2_arm64.deb      2025-04-28 04:56  412M  
[   ] acl2-books_8.6+dfsg-2_armel.deb      2025-04-28 06:17  386M  
[   ] acl2-books_8.6+dfsg-2_armhf.deb      2025-04-29 02:17  395M  
[   ] acl2-books_8.6+dfsg-2_i386.deb       2025-04-28 04:25  344M  
[   ] acl2-doc_8.5dfsg-6_all.deb           2024-07-29 08:44  470K  
[   ] acl2-doc_8.6+dfsg-2_all.deb          2025-04-28 04:56  513K  
[   ] acl2-infix-source_8.5dfsg-6_all.deb  2024-07-29 08:44   71K  
[   ] acl2-infix-source_8.6+dfsg-2_all.deb 2025-04-28 04:56   71K  
[   ] acl2-infix_8.5dfsg-6_amd64.deb       2024-07-29 08:18  465K  
[   ] acl2-infix_8.5dfsg-6_arm64.deb       2024-07-29 08:18  455K  
[   ] acl2-infix_8.5dfsg-6_armel.deb       2024-07-29 09:25  459K  
[   ] acl2-infix_8.5dfsg-6_armhf.deb       2024-07-29 16:35  475K  
[   ] acl2-infix_8.5dfsg-6_i386.deb        2024-07-29 08:49  475K  
[   ] acl2-infix_8.6+dfsg-2_amd64.deb      2025-04-28 04:40  866K  
[   ] acl2-infix_8.6+dfsg-2_arm64.deb      2025-04-28 04:56  834K  
[   ] acl2-infix_8.6+dfsg-2_armel.deb      2025-04-28 06:17  815K  
[   ] acl2-infix_8.6+dfsg-2_armhf.deb      2025-04-29 02:17  846K  
[   ] acl2-infix_8.6+dfsg-2_i386.deb       2025-04-28 04:25  852K  
[   ] acl2-source_8.5dfsg-6_all.deb        2024-07-29 08:44  3.4M  
[   ] acl2-source_8.6+dfsg-2_all.deb       2025-04-28 04:56  3.8M  
[   ] acl2_8.5dfsg-6.debian.tar.xz         2024-07-29 01:31  306K  
[TXT] acl2_8.5dfsg-6.dsc                   2024-07-29 01:31  2.2K  
[   ] acl2_8.5dfsg-6_amd64.deb             2024-07-29 08:18   22M  
[   ] acl2_8.5dfsg-6_arm64.deb             2024-07-29 08:18   20M  
[   ] acl2_8.5dfsg-6_armel.deb             2024-07-29 09:25   18M  
[   ] acl2_8.5dfsg-6_armhf.deb             2024-07-29 16:35   18M  
[   ] acl2_8.5dfsg-6_i386.deb              2024-07-29 08:49   19M  
[   ] acl2_8.5dfsg.orig.tar.gz             2022-07-27 23:13  213M  
[   ] acl2_8.6+dfsg-2.debian.tar.xz        2025-04-27 21:54  435K  
[TXT] acl2_8.6+dfsg-2.dsc                  2025-04-27 21:54  2.2K  
[   ] acl2_8.6+dfsg-2_amd64.deb            2025-04-28 04:40   35M  
[   ] acl2_8.6+dfsg-2_arm64.deb            2025-04-28 04:56   35M  
[   ] acl2_8.6+dfsg-2_armel.deb            2025-04-28 06:17   36M  
[   ] acl2_8.6+dfsg-2_armhf.deb            2025-04-29 02:17   37M  
[   ] acl2_8.6+dfsg-2_i386.deb             2025-04-28 04:25   39M  
[   ] acl2_8.6+dfsg.orig.tar.gz            2025-04-27 06:21  229M  
[   ] elpa-acl2_8.5dfsg-6_all.deb          2024-07-29 08:44   69K  
[   ] elpa-acl2_8.6+dfsg-2_all.deb         2025-04-28 04:56   76K