Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 libwhy3-ocaml-dev_1.6.0-1build7_amd64.deb 2024-04-01 07:45   13M  
 libwhy3-ocaml-dev_1.8.2-3build1_amd64.deb 2026-03-01 14:54   13M  
 why3-doc-html_1.6.0-1build7_all.deb       2024-04-01 07:45  753K  
 why3-doc-html_1.8.2-3build1_all.deb       2026-03-01 14:54  894K  
 why3-doc-pdf_1.6.0-1build7_all.deb        2024-04-01 07:45  1.3M  
 why3-doc-pdf_1.8.2-3build1_all.deb        2026-03-01 14:54  1.3M  
 why3-examples_1.6.0-1build7_all.deb       2024-04-01 07:45  3.8M  
 why3-examples_1.8.2-3build1_all.deb       2026-03-01 14:54  4.0M  
 why3_1.6.0-1build7.debian.tar.xz          2024-04-01 07:44   18K  
 why3_1.6.0-1build7.dsc                    2024-04-01 07:44  2.7K  
 why3_1.6.0-1build7_amd64.deb              2024-04-01 07:45   13M  
 why3_1.6.0.orig.tar.gz                    2023-09-11 11:44  6.5M  
 why3_1.8.2-3build1.debian.tar.xz          2026-03-01 14:53   19K  
 why3_1.8.2-3build1.dsc                    2026-03-01 14:53  2.6K  
 why3_1.8.2-3build1_amd64.deb              2026-03-01 14:54   14M  
 why3_1.8.2.orig.tar.bz2                   2025-10-18 13:32  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