../ cvc4_1.5-1_amd64.deb 03-Nov-2017 06:57 138624 cvc4_1.5-1_i386.deb 03-Nov-2017 06:59 142804 cvc4_1.6-2build2_amd64.deb 03-Feb-2020 23:45 137732 cvc4_1.8-2_amd64.deb 30-Sep-2020 16:28 73336 cvc4_1.8-3build2_amd64.deb 31-Mar-2024 20:36 75388 cvc4_1.8-3build2_arm64.deb 02-Apr-2024 01:07 71602 cvc4_1.8-5_amd64.deb 28-Oct-2025 00:16 70364 cvc4_1.8-5_amd64v3.deb 28-Oct-2025 00:28 71496 cvc4_1.8-5_arm64.deb 28-Oct-2025 06:36 66632 libcvc4-4_1.5-1_amd64.deb 03-Nov-2017 06:57 3375660 libcvc4-4_1.5-1_i386.deb 03-Nov-2017 06:59 3618828 libcvc4-5_1.6-2build2_amd64.deb 03-Feb-2020 23:45 4512744 libcvc4-7_1.8-2_amd64.deb 30-Sep-2020 16:28 5659900 libcvc4-7_1.8-3build2_amd64.deb 31-Mar-2024 20:36 4734878 libcvc4-7_1.8-3build2_arm64.deb 02-Apr-2024 01:07 4342788 libcvc4-7_1.8-5_amd64.deb 28-Oct-2025 00:16 4918224 libcvc4-7_1.8-5_amd64v3.deb 28-Oct-2025 00:28 5060584 libcvc4-7_1.8-5_arm64.deb 28-Oct-2025 06:36 4494068 libcvc4-dev_1.5-1_amd64.deb 03-Nov-2017 06:57 5968312 libcvc4-dev_1.5-1_i386.deb 03-Nov-2017 06:59 6384320 libcvc4-dev_1.6-2build2_amd64.deb 03-Feb-2020 23:45 7295824 libcvc4-dev_1.8-2_amd64.deb 30-Sep-2020 16:28 123212 libcvc4-dev_1.8-3build2_amd64.deb 31-Mar-2024 20:36 125256 libcvc4-dev_1.8-3build2_arm64.deb 02-Apr-2024 01:07 125246 libcvc4-dev_1.8-5_amd64.deb 28-Oct-2025 00:16 125236 libcvc4-dev_1.8-5_amd64v3.deb 28-Oct-2025 00:28 125246 libcvc4-dev_1.8-5_arm64.deb 28-Oct-2025 06:36 125230 libcvc4parser4_1.5-1_amd64.deb 03-Nov-2017 06:57 363676 libcvc4parser4_1.5-1_i386.deb 03-Nov-2017 06:59 390272 libcvc4parser5_1.6-2build2_amd64.deb 03-Feb-2020 23:45 364108 libcvc4parser7_1.8-2_amd64.deb 30-Sep-2020 16:28 357524 libcvc4parser7_1.8-3build2_amd64.deb 31-Mar-2024 20:36 373822 libcvc4parser7_1.8-3build2_arm64.deb 02-Apr-2024 01:07 353574 libcvc4parser7_1.8-5_amd64.deb 28-Oct-2025 00:16 384090 libcvc4parser7_1.8-5_amd64v3.deb 28-Oct-2025 00:28 394762 libcvc4parser7_1.8-5_arm64.deb 28-Oct-2025 06:36 367172