../ cvc4_1.5-1.debian.tar.xz 01-Nov-2017 13:57 6012 cvc4_1.5-1.dsc 01-Nov-2017 13:57 2221 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.5.orig.tar.gz 01-Nov-2017 13:57 7926116 cvc4_1.6-2build2.debian.tar.xz 03-Feb-2020 22:24 8392 cvc4_1.6-2build2.dsc 03-Feb-2020 22:24 2755 cvc4_1.6-2build2_amd64.deb 03-Feb-2020 23:45 137732 cvc4_1.6.orig.tar.gz 12-Aug-2018 05:13 7815893 cvc4_1.8-2.debian.tar.xz 30-Sep-2020 15:43 16456 cvc4_1.8-2.dsc 30-Sep-2020 15:43 2275 cvc4_1.8-2_amd64.deb 30-Sep-2020 16:28 73336 cvc4_1.8-3build2.debian.tar.xz 31-Mar-2024 18:36 16876 cvc4_1.8-3build2.dsc 31-Mar-2024 18:36 2363 cvc4_1.8-3build2_amd64.deb 31-Mar-2024 20:36 75388 cvc4_1.8-5.debian.tar.xz 28-Oct-2025 00:01 17608 cvc4_1.8-5.dsc 28-Oct-2025 00:01 1861 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.orig.tar.gz 30-Sep-2020 15:43 7547187 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-5_amd64.deb 28-Oct-2025 00:16 4918224 libcvc4-7_1.8-5_amd64v3.deb 28-Oct-2025 00:28 5060584 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-5_amd64.deb 28-Oct-2025 00:16 125236 libcvc4-dev_1.8-5_amd64v3.deb 28-Oct-2025 00:28 125246 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-5_amd64.deb 28-Oct-2025 00:16 384090 libcvc4parser7_1.8-5_amd64v3.deb 28-Oct-2025 00:28 394762
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.