| Parent directory/ | - | - |
| cvc4_1.5.orig.tar.gz | 8M | 01-Nov-2017 17:57 |
| cvc4_1.6.orig.tar.gz | 7M | 12-Aug-2018 09:13 |
| cvc4_1.8.orig.tar.gz | 7M | 30-Sep-2020 19:43 |
| libcvc4-dev_1.6-2build2_amd64.deb | 7M | 04-Feb-2020 03:45 |
| libcvc4-dev_1.5-1_i386.deb | 6M | 03-Nov-2017 10:59 |
| libcvc4-dev_1.5-1_amd64.deb | 6M | 03-Nov-2017 10:57 |
| libcvc4-7_1.8-2_amd64.deb | 5M | 30-Sep-2020 20:28 |
| libcvc4-7_1.8-5_amd64v3.deb | 5M | 28-Oct-2025 04:28 |
| libcvc4-7_1.8-5_amd64.deb | 5M | 28-Oct-2025 04:16 |
| libcvc4-7_1.8-3build2_amd64.deb | 5M | 01-Apr-2024 00:36 |
| libcvc4-5_1.6-2build2_amd64.deb | 4M | 04-Feb-2020 03:45 |
| libcvc4-4_1.5-1_i386.deb | 3M | 03-Nov-2017 10:59 |
| libcvc4-4_1.5-1_amd64.deb | 3M | 03-Nov-2017 10:57 |
| libcvc4parser7_1.8-5_amd64v3.deb | 386K | 28-Oct-2025 04:28 |
| libcvc4parser4_1.5-1_i386.deb | 381K | 03-Nov-2017 10:59 |
| libcvc4parser7_1.8-5_amd64.deb | 375K | 28-Oct-2025 04:16 |
| libcvc4parser7_1.8-3build2_amd64.deb | 365K | 01-Apr-2024 00:36 |
| libcvc4parser5_1.6-2build2_amd64.deb | 356K | 04-Feb-2020 03:45 |
| libcvc4parser4_1.5-1_amd64.deb | 355K | 03-Nov-2017 10:57 |
| libcvc4parser7_1.8-2_amd64.deb | 349K | 30-Sep-2020 20:28 |
| cvc4_1.5-1_i386.deb | 139K | 03-Nov-2017 10:59 |
| cvc4_1.5-1_amd64.deb | 135K | 03-Nov-2017 10:57 |
| cvc4_1.6-2build2_amd64.deb | 135K | 04-Feb-2020 03:45 |
| libcvc4-dev_1.8-3build2_amd64.deb | 122K | 01-Apr-2024 00:36 |
| libcvc4-dev_1.8-5_amd64v3.deb | 122K | 28-Oct-2025 04:28 |
| libcvc4-dev_1.8-5_amd64.deb | 122K | 28-Oct-2025 04:16 |
| libcvc4-dev_1.8-2_amd64.deb | 120K | 30-Sep-2020 20:28 |
| cvc4_1.8-3build2_amd64.deb | 74K | 01-Apr-2024 00:36 |
| cvc4_1.8-2_amd64.deb | 72K | 30-Sep-2020 20:28 |
| cvc4_1.8-5_amd64v3.deb | 70K | 28-Oct-2025 04:28 |
| cvc4_1.8-5_amd64.deb | 69K | 28-Oct-2025 04:16 |
| cvc4_1.8-5.debian.tar.xz | 17K | 28-Oct-2025 04:01 |
| cvc4_1.8-3build2.debian.tar.xz | 16K | 31-Mar-2024 22:36 |
| cvc4_1.8-2.debian.tar.xz | 16K | 30-Sep-2020 19:43 |
| cvc4_1.6-2build2.debian.tar.xz | 8392 | 04-Feb-2020 02:24 |
| cvc4_1.5-1.debian.tar.xz | 6012 | 01-Nov-2017 17:57 |
| cvc4_1.6-2build2.dsc | 2755 | 04-Feb-2020 02:24 |
| cvc4_1.8-3build2.dsc | 2363 | 31-Mar-2024 22:36 |
| cvc4_1.8-2.dsc | 2275 | 30-Sep-2020 19:43 |
| cvc4_1.5-1.dsc | 2221 | 01-Nov-2017 17:57 |
| cvc4_1.8-5.dsc | 1861 | 28-Oct-2025 04:01 |
