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

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