../ cvc4_1.8-2_amd64.deb 14-Sep-2023 17:39 73336 cvc4_1.8-3build2_amd64.deb 24-Apr-2025 16:03 75388 libcvc4-7_1.8-2_amd64.deb 14-Sep-2023 17:39 5659900 libcvc4-7_1.8-3build2_amd64.deb 24-Apr-2025 16:03 4734878 libcvc4-dev_1.8-2_amd64.deb 14-Sep-2023 17:39 123212 libcvc4-dev_1.8-3build2_amd64.deb 24-Apr-2025 16:03 125256 libcvc4parser7_1.8-2_amd64.deb 14-Sep-2023 17:39 357524 libcvc4parser7_1.8-3build2_amd64.deb 24-Apr-2025 16:03 373822