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

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health