../ cvc4_1.5-1_amd64.deb 14-Jan-2021 23:09 138624 libcvc4-4_1.5-1_amd64.deb 14-Jan-2021 23:15 3375660 libcvc4-dev_1.5-1_amd64.deb 14-Jan-2021 23:14 5968312 libcvc4parser4_1.5-1_amd64.deb 14-Jan-2021 23:19 363676