Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 libwhy3-ocaml-dev_1.6.0-1+b6_amd64.deb 2024-07-15 10:49   11M  
 libwhy3-ocaml-dev_1.6.0-1+b6_arm64.deb 2024-07-15 10:49   11M  
 libwhy3-ocaml-dev_1.6.0-1+b6_armel.deb 2024-07-15 10:59  5.6M  
 libwhy3-ocaml-dev_1.6.0-1+b6_armhf.deb 2024-07-15 10:59   11M  
 libwhy3-ocaml-dev_1.6.0-1+b6_i386.deb  2024-07-15 10:54   10M  
 libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb 2024-08-20 20:10   12M  
 libwhy3-ocaml-dev_1.7.2-2+b1_arm64.deb 2024-08-20 20:11   13M  
 libwhy3-ocaml-dev_1.7.2-2+b1_armel.deb 2024-08-20 20:11  7.0M  
 libwhy3-ocaml-dev_1.7.2-2+b1_armhf.deb 2024-08-20 20:11  7.0M  
 libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb  2024-08-20 20:16  7.0M  
 why3-doc-html_1.6.0-1_all.deb          2023-09-08 08:42  1.0M  
 why3-doc-html_1.7.2-2_all.deb          2024-08-13 02:44  1.0M  
 why3-doc-pdf_1.6.0-1_all.deb           2023-09-08 08:42  1.2M  
 why3-doc-pdf_1.7.2-2_all.deb           2024-08-13 02:44  1.3M  
 why3-examples_1.6.0-1_all.deb          2023-09-08 08:42  3.8M  
 why3-examples_1.7.2-2_all.deb          2024-08-13 02:44  3.9M  
 why3_1.6.0-1+b6_amd64.deb              2024-07-15 10:49   11M  
 why3_1.6.0-1+b6_arm64.deb              2024-07-15 10:49   13M  
 why3_1.6.0-1+b6_armel.deb              2024-07-15 10:59   21M  
 why3_1.6.0-1+b6_armhf.deb              2024-07-15 10:59   10M  
 why3_1.6.0-1+b6_i386.deb               2024-07-15 10:54   10M  
 why3_1.6.0-1.debian.tar.xz             2023-09-08 07:20   18K  
 why3_1.6.0-1.dsc                       2023-09-08 07:20  2.4K  
 why3_1.6.0.orig.tar.gz                 2023-09-08 07:20  6.5M  
 why3_1.7.2-2+b1_amd64.deb              2024-08-20 20:10   10M  
 why3_1.7.2-2+b1_arm64.deb              2024-08-20 20:11   12M  
 why3_1.7.2-2+b1_armel.deb              2024-08-20 20:11   24M  
 why3_1.7.2-2+b1_armhf.deb              2024-08-20 20:11   24M  
 why3_1.7.2-2+b1_i386.deb               2024-08-20 20:16   24M  
 why3_1.7.2-2.debian.tar.xz             2024-08-13 01:54   18K  
 why3_1.7.2-2.dsc                       2024-08-13 01:54  2.4K  
 why3_1.7.2.orig.tar.bz2                2024-08-12 12:25  6.0M  

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