Welcome to ftp.nluug.nl Current directory: /ftp/pub/os/Linux/distr/kali/pool/main/a/acl2/

Current bandwidth utilization 1030.51 Mbit/s

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

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!