Index of /debian-ports/pool-kfreebsd-i386/main/c/cvc4

Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] cvc4-dbgsym_1.6-2+b2_kfreebsd-i386.deb           15-Jul-2019 08:03  3.3M  
[   ] cvc4_1.6-2+b2_kfreebsd-i386.buildinfo            15-Jul-2019 08:03  8.8K  
[   ] cvc4_1.6-2+b2_kfreebsd-i386.deb                  15-Jul-2019 08:03  138K  
[   ] libcvc4-5-dbgsym_1.6-2+b2_kfreebsd-i386.deb      15-Jul-2019 08:03  142M  
[   ] libcvc4-5_1.6-2+b2_kfreebsd-i386.deb             15-Jul-2019 08:03  4.4M  
[   ] libcvc4-dev_1.6-2+b2_kfreebsd-i386.deb           15-Jul-2019 08:03  7.0M  
[   ] libcvc4parser5-dbgsym_1.6-2+b2_kfreebsd-i386.deb 15-Jul-2019 08:03  5.7M  
[   ] libcvc4parser5_1.6-2+b2_kfreebsd-i386.deb        15-Jul-2019 08:03  382K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80