Name                                Last modified      Size  Description
 Parent Directory                                         -   
 libwhy3-ocaml-dev_1.2.1-6_amd64.deb 2020-03-12 15:18  7.6M  
 why3-coq_1.2.1-6_amd64.deb          2020-03-12 15:18  569K  
 why3-doc-html_1.2.1-6_all.deb       2020-03-12 15:18  290K  
 why3-doc-pdf_1.2.1-6_all.deb        2020-03-12 15:18  1.2M  
 why3-examples_1.2.1-6_all.deb       2020-03-12 15:18  2.3M  
 why3_1.2.1-6.debian.tar.xz          2020-03-12 15:08   23K  
 why3_1.2.1-6.dsc                    2020-03-12 15:08  2.7K  
 why3_1.2.1-6_amd64.deb              2020-03-12 15:18   29M  
 why3_1.2.1.orig.tar.gz              2019-10-31 10:18  5.7M  

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