cvc4_1.8-5.debian.tar.xz
cvc4_1.8-5.dsc
cvc4_1.8-5_amd64.deb
cvc4_1.8-5_i386.deb
cvc4_1.8.orig.tar.gz
libcvc4-7_1.8-5_amd64.deb
libcvc4-7_1.8-5_i386.deb
libcvc4-dev_1.8-5_amd64.deb
libcvc4-dev_1.8-5_i386.deb
libcvc4parser7_1.8-5_amd64.deb
libcvc4parser7_1.8-5_i386.deb