Name                           Last modified      Size  Description
 Parent Directory                                    -   
 cvc4_1.8-5.debian.tar.xz       2025-10-27 10:28   17K  
 cvc4_1.8-5.dsc                 2025-10-27 10:28  1.8K  
 cvc4_1.8-5_amd64.deb           2025-10-27 10:59   79K  
 cvc4_1.8-5_arm64.deb           2025-10-27 10:59   73K  
 cvc4_1.8-5_armhf.deb           2025-10-27 10:59   73K  
 cvc4_1.8-5_i386.deb            2025-10-27 11:04   81K  
 cvc4_1.8.orig.tar.gz           2020-09-14 01:17  7.2M  
 libcvc4-7_1.8-5_amd64.deb      2025-10-27 10:59  6.2M  
 libcvc4-7_1.8-5_arm64.deb      2025-10-27 10:59  5.3M  
 libcvc4-7_1.8-5_armhf.deb      2025-10-27 10:59  5.3M  
 libcvc4-7_1.8-5_i386.deb       2025-10-27 11:04  6.6M  
 libcvc4-dev_1.8-5_amd64.deb    2025-10-27 10:59  128K  
 libcvc4-dev_1.8-5_arm64.deb    2025-10-27 10:59  128K  
 libcvc4-dev_1.8-5_armhf.deb    2025-10-27 10:59  128K  
 libcvc4-dev_1.8-5_i386.deb     2025-10-27 11:04  128K  
 libcvc4parser7_1.8-5_amd64.deb 2025-10-27 10:59  376K  
 libcvc4parser7_1.8-5_arm64.deb 2025-10-27 10:59  331K  
 libcvc4parser7_1.8-5_armhf.deb 2025-10-27 10:59  342K  
 libcvc4parser7_1.8-5_i386.deb  2025-10-27 11:04  404K  

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