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

Icon  Name                                              Last modified      Size  Description
[DIR] Parent Directory                                                       -   
[   ] libcvc4parser5_1.6-2+b2_kfreebsd-amd64.deb        15-Jul-2019 02:03  354K  
[   ] libcvc4parser5-dbgsym_1.6-2+b2_kfreebsd-amd64.deb 15-Jul-2019 02:03  6.0M  
[   ] libcvc4-dev_1.6-2+b2_kfreebsd-amd64.deb           15-Jul-2019 02:03  6.5M  
[   ] libcvc4-5_1.6-2+b2_kfreebsd-amd64.deb             15-Jul-2019 02:03  4.0M  
[   ] libcvc4-5-dbgsym_1.6-2+b2_kfreebsd-amd64.deb      15-Jul-2019 02:03  146M  
[   ] cvc4_1.6-2+b2_kfreebsd-amd64.deb                  15-Jul-2019 02:03  132K  
[   ] cvc4_1.6-2+b2_kfreebsd-amd64.buildinfo            15-Jul-2019 02:03  8.8K  
[   ] cvc4-dbgsym_1.6-2+b2_kfreebsd-amd64.deb           15-Jul-2019 02:03  3.4M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80