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

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] acl2-books-certs_8.5dfsg-5_all.deb  2023-01-16 23:55  170M  
[   ] acl2-books-source_8.5dfsg-5_all.deb 2023-01-16 23:55   24M  
[   ] acl2-books_8.5dfsg-5+b1_amd64.deb   2024-03-27 10:26  287M  
[   ] acl2-books_8.5dfsg-5+b1_arm64.deb   2024-03-27 08:49  290M  
[   ] acl2-books_8.5dfsg-5+b1_armel.deb   2024-03-28 06:25  270M  
[   ] acl2-books_8.5dfsg-5+b1_armhf.deb   2024-03-27 11:02  276M  
[   ] acl2-books_8.5dfsg-5+b1_i386.deb    2024-03-27 09:20  248M  
[   ] acl2-books_8.5dfsg-5_amd64.deb      2023-01-17 05:15  287M  
[   ] acl2-books_8.5dfsg-5_arm64.deb      2023-01-18 06:13  289M  
[   ] acl2-books_8.5dfsg-5_armel.deb      2023-01-18 04:26  268M  
[   ] acl2-books_8.5dfsg-5_armhf.deb      2023-01-17 20:32  272M  
[   ] acl2-books_8.5dfsg-5_i386.deb       2023-01-17 00:16  248M  
[   ] acl2-doc_8.5dfsg-5_all.deb          2023-01-16 23:55  470K  
[   ] acl2-infix-source_8.5dfsg-5_all.deb 2023-01-16 23:55   71K  
[   ] acl2-infix_8.5dfsg-5+b1_amd64.deb   2024-03-27 10:26  467K  
[   ] acl2-infix_8.5dfsg-5+b1_arm64.deb   2024-03-27 08:49  466K  
[   ] acl2-infix_8.5dfsg-5+b1_armel.deb   2024-03-28 06:25  460K  
[   ] acl2-infix_8.5dfsg-5+b1_armhf.deb   2024-03-27 11:02  475K  
[   ] acl2-infix_8.5dfsg-5+b1_i386.deb    2024-03-27 09:20  479K  
[   ] acl2-infix_8.5dfsg-5_amd64.deb      2023-01-17 05:15  464K  
[   ] acl2-infix_8.5dfsg-5_arm64.deb      2023-01-18 06:13  461K  
[   ] acl2-infix_8.5dfsg-5_armel.deb      2023-01-18 04:26  459K  
[   ] acl2-infix_8.5dfsg-5_armhf.deb      2023-01-17 20:32  472K  
[   ] acl2-infix_8.5dfsg-5_i386.deb       2023-01-17 00:16  477K  
[   ] acl2-source_8.5dfsg-5_all.deb       2023-01-16 23:55  3.4M  
[   ] acl2_8.5dfsg-5+b1_amd64.deb         2024-03-27 10:26   22M  
[   ] acl2_8.5dfsg-5+b1_arm64.deb         2024-03-27 08:49   21M  
[   ] acl2_8.5dfsg-5+b1_armel.deb         2024-03-28 06:25   18M  
[   ] acl2_8.5dfsg-5+b1_armhf.deb         2024-03-27 11:02   18M  
[   ] acl2_8.5dfsg-5+b1_i386.deb          2024-03-27 09:20   19M  
[   ] acl2_8.5dfsg-5.debian.tar.xz        2023-01-16 11:00  306K  
[TXT] acl2_8.5dfsg-5.dsc                  2023-01-16 11:00  2.2K  
[   ] acl2_8.5dfsg-5_amd64.deb            2023-01-17 05:15   22M  
[   ] acl2_8.5dfsg-5_arm64.deb            2023-01-18 06:13   21M  
[   ] acl2_8.5dfsg-5_armel.deb            2023-01-18 04:26   18M  
[   ] acl2_8.5dfsg-5_armhf.deb            2023-01-17 20:32   19M  
[   ] acl2_8.5dfsg-5_i386.deb             2023-01-17 00:16   19M  
[   ] acl2_8.5dfsg.orig.tar.gz            2022-07-27 23:13  213M  
[   ] elpa-acl2_8.5dfsg-5_all.deb         2023-01-16 23:55   69K