Name                                Last modified      Size  Description
 Parent Directory                                         -   
 libwhy3-ocaml-dev_1.8.0-2_amd64.deb 2025-02-02 08:26   12M  
 libwhy3-ocaml-dev_1.8.0-2_arm64.deb 2025-02-02 08:31   13M  
 libwhy3-ocaml-dev_1.8.0-2_armel.deb 2025-02-02 08:26  7.3M  
 libwhy3-ocaml-dev_1.8.0-2_armhf.deb 2025-02-02 08:36  7.3M  
 libwhy3-ocaml-dev_1.8.0-2_i386.deb  2025-02-02 08:26  7.3M  
 why3-examples_1.8.0-2_all.deb       2025-02-02 08:21  4.1M  
 why3_1.8.0-2.debian.tar.xz          2025-02-02 07:56   18K  
 why3_1.8.0-2.dsc                    2025-02-02 07:56  2.1K  
 why3_1.8.0-2_amd64.deb              2025-02-02 08:26   12M  
 why3_1.8.0-2_arm64.deb              2025-02-02 08:31   13M  
 why3_1.8.0-2_armel.deb              2025-02-02 08:26   21M  
 why3_1.8.0-2_armhf.deb              2025-02-02 08:36   21M  
 why3_1.8.0-2_i386.deb               2025-02-02 08:26   21M  
 why3_1.8.0.orig.tar.bz2             2025-01-22 22:04  6.3M  

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