../ cvc4_1.5-1.debian.tar.xz 31-Jul-2017 19:00 6012 cvc4_1.5-1.dsc 31-Jul-2017 19:00 2221 cvc4_1.5.orig.tar.gz 31-Jul-2017 19:00 7926116