Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 acl2-books-certs_8.4dfsg-2_all.deb         2021-12-19 02:10  221M  
 acl2-books-certs_8.5dfsg-5build3_all.deb   2024-04-02 10:03  216M  
 acl2-books-certs_8.6+dfsg-3build1_all.deb  2026-02-04 07:32  267M  
 acl2-books-source_8.4dfsg-2_all.deb        2021-12-19 02:10   21M  
 acl2-books-source_8.5dfsg-5build3_all.deb  2024-04-02 10:02   23M  
 acl2-books-source_8.6+dfsg-3build1_all.deb 2026-02-04 07:32   26M  
 acl2-books_8.4dfsg-2_amd64.deb             2021-12-19 02:09  338M  
 acl2-books_8.5dfsg-5build3_amd64.deb       2024-04-02 10:03  331M  
 acl2-books_8.6+dfsg-3build1_amd64.deb      2026-02-04 07:32  467M  
 acl2-doc_8.4dfsg-2_all.deb                 2021-12-19 02:09  441K  
 acl2-doc_8.5dfsg-5build3_all.deb           2024-04-02 10:02  474K  
 acl2-doc_8.6+dfsg-3build1_all.deb          2026-02-04 07:32  516K  
 acl2-infix-source_8.4dfsg-2_all.deb        2021-12-19 02:10   72K  
 acl2-infix-source_8.5dfsg-5build3_all.deb  2024-04-02 10:02   72K  
 acl2-infix-source_8.6+dfsg-3build1_all.deb 2026-02-04 07:32   73K  
 acl2-infix_8.4dfsg-2_amd64.deb             2021-12-19 02:09  551K  
 acl2-infix_8.5dfsg-5build3_amd64.deb       2024-04-02 10:02  538K  
 acl2-infix_8.6+dfsg-3build1_amd64.deb      2026-02-04 07:32  1.0M  
 acl2-source_8.4dfsg-2_all.deb              2021-12-19 02:10  3.4M  
 acl2-source_8.5dfsg-5build3_all.deb        2024-04-02 10:02  3.5M  
 acl2-source_8.6+dfsg-3build1_all.deb       2026-02-04 07:32  3.9M  
 acl2_8.4dfsg-2.debian.tar.xz               2021-11-02 00:24  304K  
 acl2_8.4dfsg-2.dsc                         2021-11-02 00:24  2.2K  
 acl2_8.4dfsg-2_amd64.deb                   2021-12-19 02:10   25M  
 acl2_8.4dfsg.orig.tar.gz                   2021-10-29 01:18  194M  
 acl2_8.5dfsg-5build3.debian.tar.xz         2024-04-01 07:43  306K  
 acl2_8.5dfsg-5build3.dsc                   2024-04-01 07:43  2.3K  
 acl2_8.5dfsg-5build3_amd64.deb             2024-04-02 10:03   26M  
 acl2_8.5dfsg.orig.tar.gz                   2022-07-28 01:33  213M  
 acl2_8.6+dfsg-3build1.debian.tar.xz        2026-02-03 23:43  694K  
 acl2_8.6+dfsg-3build1.dsc                  2026-02-03 23:43  2.3K  
 acl2_8.6+dfsg-3build1_amd64.deb            2026-02-04 07:32   47M  
 acl2_8.6+dfsg.orig.tar.gz                  2025-05-01 18:25  229M  
 elpa-acl2_8.4dfsg-2_all.deb                2021-12-19 02:09   69K  
 elpa-acl2_8.5dfsg-5build3_all.deb          2024-04-02 10:02   71K  
 elpa-acl2_8.6+dfsg-3build1_all.deb         2026-02-04 07:32   79K  

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