../ cvc4_1.8-2_amd64.deb 05-Sep-2024 21:26 73336 libcvc4-7_1.8-2_amd64.deb 05-Sep-2024 21:24 5659900 libcvc4-dev_1.8-2_amd64.deb 05-Sep-2024 21:29 123212 libcvc4parser7_1.8-2_amd64.deb 05-Sep-2024 21:34 357524