../ cvc4_1.6-2+b1_amd64.deb 17-Nov-2018 06:57 136244 cvc4_1.6-2.debian.tar.xz 13-Aug-2018 17:01 8232 cvc4_1.6-2.dsc 13-Aug-2018 17:01 2652 cvc4_1.6.orig.tar.gz 07-Aug-2018 16:44 7815893 libcvc4-5_1.6-2+b1_amd64.deb 17-Nov-2018 06:57 4056556 libcvc4-dev_1.6-2+b1_amd64.deb 17-Nov-2018 06:57 6718020 libcvc4parser5_1.6-2+b1_amd64.deb 17-Nov-2018 06:57 362516