Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 why3_1.7.2.orig.tar.bz2                2024-08-12 12:25  6.0M  
 why3_1.7.2-2.dsc                       2024-08-13 01:54  2.4K  
 why3_1.7.2-2.debian.tar.xz             2024-08-13 01:54   18K  
 why3_1.7.2-2+b1_i386.deb               2024-08-20 20:16   24M  
 why3_1.7.2-2+b1_armhf.deb              2024-08-20 20:11   24M  
 why3_1.7.2-2+b1_armel.deb              2024-08-20 20:11   24M  
 why3_1.7.2-2+b1_arm64.deb              2024-08-20 20:11   12M  
 why3_1.7.2-2+b1_amd64.deb              2024-08-20 20:10   10M  
 why3-examples_1.7.2-2_all.deb          2024-08-13 02:44  3.9M  
 why3-doc-pdf_1.7.2-2_all.deb           2024-08-13 02:44  1.3M  
 why3-doc-html_1.7.2-2_all.deb          2024-08-13 02:44  1.0M  
 libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb  2024-08-20 20:16  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_armel.deb 2024-08-20 20:11  7.0M  
 libwhy3-ocaml-dev_1.7.2-2+b1_arm64.deb 2024-08-20 20:11   13M  
 libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb 2024-08-20 20:10   12M  

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