Name                            Last modified      Size  Description
 Parent Directory                                     -   
 cvc4_1.6-2.debian.tar.xz        2018-08-13 22:01  8.0K  
 cvc4_1.6-2.dsc                  2018-08-13 22:01  2.6K  
 cvc4_1.6.orig.tar.gz            2018-08-07 21:44  7.5M  
 cvc4_1.8-2.debian.tar.xz        2020-09-18 03:25   16K  
 cvc4_1.8-2.dsc                  2020-09-18 03:25  2.2K  
 cvc4_1.8-2_armhf.deb            2020-09-30 00:08   73K  
 cvc4_1.8-3.debian.tar.xz        2022-10-29 21:57   16K  
 cvc4_1.8-3.dsc                  2022-10-29 21:57  2.2K  
 cvc4_1.8-3_armhf.deb            2022-11-01 17:08   72K  
 cvc4_1.8.orig.tar.gz            2020-09-14 01:17  7.2M  
 libcvc4-7_1.8-2_armhf.deb       2020-09-30 00:08  4.7M  
 libcvc4-7_1.8-3_armhf.deb       2022-11-01 17:08  5.0M  
 libcvc4-dev_1.8-2_armhf.deb     2020-09-30 00:08  128K  
 libcvc4-dev_1.8-3_armhf.deb     2022-11-01 17:08  128K  
 libcvc4parser7_1.8-2_armhf.deb  2020-09-30 00:08  317K  
 libcvc4parser7_1.8-3_armhf.deb  2022-11-01 17:08  310K  

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