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