| Parent directory/ | - | - |
| cvc4_1.5-1.dsc | 2221 | 2017-Nov-01 13:57 |
| cvc4_1.8-3.dsc | 2244 | 2022-Nov-06 03:17 |
| cvc4_1.8-2.dsc | 2275 | 2020-Sep-30 15:43 |
| cvc4_1.8-3build2.dsc | 2363 | 2024-Mar-31 18:36 |
| cvc4_1.6-2build2.dsc | 2755 | 2020-Feb-03 22:24 |
| cvc4_1.5-1.debian.tar.xz | 6012 | 2017-Nov-01 13:57 |
| cvc4_1.6-2build2.debian.tar.xz | 8392 | 2020-Feb-03 22:24 |
| cvc4_1.8-2.debian.tar.xz | 16456 | 2020-Sep-30 15:43 |
| cvc4_1.8-3.debian.tar.xz | 16728 | 2022-Nov-06 03:17 |
| cvc4_1.8-3build2.debian.tar.xz | 16876 | 2024-Mar-31 18:36 |
| cvc4_1.8-2_amd64.deb | 73336 | 2020-Sep-30 16:28 |
| cvc4_1.8-3_amd64.deb | 74530 | 2022-Nov-06 03:21 |
| cvc4_1.8-3build2_amd64.deb | 75388 | 2024-Mar-31 20:36 |
| libcvc4-dev_1.8-2_amd64.deb | 123212 | 2020-Sep-30 16:28 |
| libcvc4-dev_1.8-3_amd64.deb | 125216 | 2022-Nov-06 03:21 |
| libcvc4-dev_1.8-3build2_amd64.deb | 125256 | 2024-Mar-31 20:36 |
| cvc4_1.6-2build2_amd64.deb | 137732 | 2020-Feb-03 23:45 |
| cvc4_1.5-1_amd64.deb | 138624 | 2017-Nov-03 06:57 |
| cvc4_1.5-1_i386.deb | 142804 | 2017-Nov-03 06:59 |
| libcvc4parser7_1.8-2_amd64.deb | 357524 | 2020-Sep-30 16:28 |
| libcvc4parser4_1.5-1_amd64.deb | 363676 | 2017-Nov-03 06:57 |
| libcvc4parser5_1.6-2build2_amd64.deb | 364108 | 2020-Feb-03 23:45 |
| libcvc4parser7_1.8-3build2_amd64.deb | 373822 | 2024-Mar-31 20:36 |
| libcvc4parser7_1.8-3_amd64.deb | 379068 | 2022-Nov-06 03:21 |
| libcvc4parser4_1.5-1_i386.deb | 390272 | 2017-Nov-03 06:59 |
| libcvc4-4_1.5-1_amd64.deb | 3375660 | 2017-Nov-03 06:57 |
| libcvc4-4_1.5-1_i386.deb | 3618828 | 2017-Nov-03 06:59 |
| libcvc4-5_1.6-2build2_amd64.deb | 4512744 | 2020-Feb-03 23:45 |
| libcvc4-7_1.8-3build2_amd64.deb | 4734878 | 2024-Mar-31 20:36 |
| libcvc4-7_1.8-3_amd64.deb | 4765516 | 2022-Nov-06 03:21 |
| libcvc4-7_1.8-2_amd64.deb | 5659900 | 2020-Sep-30 16:28 |
| libcvc4-dev_1.5-1_amd64.deb | 5968312 | 2017-Nov-03 06:57 |
| libcvc4-dev_1.5-1_i386.deb | 6384320 | 2017-Nov-03 06:59 |
| libcvc4-dev_1.6-2build2_amd64.deb | 7295824 | 2020-Feb-03 23:45 |
| cvc4_1.8.orig.tar.gz | 7547187 | 2020-Sep-30 15:43 |
| cvc4_1.6.orig.tar.gz | 7815893 | 2018-Aug-12 05:13 |
| cvc4_1.5.orig.tar.gz | 7926116 | 2017-Nov-01 13:57 |