Index of /debian-ports/pool-ia64/main/c/cvc4

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory                                             -   
[   ] cvc4-dbgsym_1.6-2+b2_ia64.deb           28-Jun-2020 08:03  3.8M  
[   ] cvc4_1.6-2+b2_ia64.buildinfo            28-Jun-2020 08:03  8.3K  
[   ] cvc4_1.6-2+b2_ia64.deb                  28-Jun-2020 08:03  158K  
[   ] libcvc4-5-dbgsym_1.6-2+b2_ia64.deb      28-Jun-2020 08:03  157M  
[   ] libcvc4-5_1.6-2+b2_ia64.deb             28-Jun-2020 08:03  5.1M  
[   ] libcvc4-dev_1.6-2+b2_ia64.deb           28-Jun-2020 08:03  8.9M  
[   ] libcvc4parser5-dbgsym_1.6-2+b2_ia64.deb 28-Jun-2020 08:03  6.7M  
[   ] libcvc4parser5_1.6-2+b2_ia64.deb        28-Jun-2020 08:03  444K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80