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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 acl2_8.5dfsg-6_armhf.deb                           2024-07-29 15:35   18M  
 acl2-infix_8.5dfsg-6_armhf.deb                     2024-07-29 15:35  475K  
 acl2-books_8.5dfsg-6_armhf.deb                     2024-07-29 15:35  144M  
 acl2_8.5dfsg-6_armel.deb                           2024-07-29 08:25   18M  
 acl2-infix_8.5dfsg-6_armel.deb                     2024-07-29 08:25  459K  
 acl2-books_8.5dfsg-6_armel.deb                     2024-07-29 08:25  142M  
 acl2_8.5dfsg-6_i386.deb                            2024-07-29 07:49   19M  
 acl2-infix_8.5dfsg-6_i386.deb                      2024-07-29 07:49  475K  
 acl2-books_8.5dfsg-6_i386.deb                      2024-07-29 07:49  133M  
 elpa-acl2_8.5dfsg-6_all.deb                        2024-07-29 07:44   69K  
 acl2-source_8.5dfsg-6_all.deb                      2024-07-29 07:44  3.4M  
 acl2-infix-source_8.5dfsg-6_all.deb                2024-07-29 07:44   71K  
 acl2-doc_8.5dfsg-6_all.deb                         2024-07-29 07:44  470K  
 acl2-books-source_8.5dfsg-6_all.deb                2024-07-29 07:44   24M  
 acl2-books-certs_8.5dfsg-6_all.deb                 2024-07-29 07:44   64M  
 acl2_8.5dfsg-6_amd64.deb                           2024-07-29 07:18   22M  
 acl2-infix_8.5dfsg-6_amd64.deb                     2024-07-29 07:18  465K  
 acl2-books_8.5dfsg-6_amd64.deb                     2024-07-29 07:18  151M  
 acl2_8.5dfsg-6_arm64.deb                           2024-07-29 07:18   20M  
 acl2-infix_8.5dfsg-6_arm64.deb                     2024-07-29 07:18  455K  
 acl2-books_8.5dfsg-6_arm64.deb                     2024-07-29 07:18  149M  
 acl2_8.5dfsg-6.dsc                                 2024-07-29 00:31  2.2K  
 acl2_8.5dfsg-6.debian.tar.xz                       2024-07-29 00:31  306K  
 acl2_8.5dfsg.orig.tar.gz                           2022-07-27 22:13  213M