../ cvc4_1.5-1_amd64.deb 07-Jan-2019 18:39 138624 cvc4_1.5-1_i386.deb 07-Jan-2019 19:17 142804 libcvc4-4_1.5-1_amd64.deb 07-Jan-2019 19:11 3375660 libcvc4-4_1.5-1_i386.deb 07-Jan-2019 18:49 3618828 libcvc4-dev_1.5-1_amd64.deb 07-Jan-2019 18:13 5968312 libcvc4-dev_1.5-1_i386.deb 07-Jan-2019 19:31 6384320 libcvc4parser4_1.5-1_amd64.deb 07-Jan-2019 18:46 363676 libcvc4parser4_1.5-1_i386.deb 07-Jan-2019 18:19 390272