Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 eprover_3.0.03+ds-1.debian.tar.xz      2023-12-13 00:28  4.8K  
 eprover_3.0.03+ds-1.dsc                2023-12-13 00:28  1.9K  
 eprover_3.0.03+ds-1_amd64.deb          2023-12-13 00:28  1.5M  
 eprover_3.0.03+ds.orig.tar.xz          2023-12-13 00:28  1.0M  
 eprover_3.2.5+ds-1build1.debian.tar.xz 2026-01-17 01:11  4.4K  
 eprover_3.2.5+ds-1build1.dsc           2026-01-17 01:11  1.9K  
 eprover_3.2.5+ds-1build1_amd64.deb     2026-01-17 01:15  1.1M  
 eprover_3.2.5+ds.orig.tar.xz           2024-10-31 18:14  1.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