| Parent directory/ | - | - |
| cvc4_1.5-1.dsc | 2221 | 2017-Nov-01 22:57 |
| cvc4_1.8-2.dsc | 2275 | 2020-Oct-01 00:43 |
| cvc4_1.8-3build2.dsc | 2363 | 2024-Apr-01 03:36 |
| cvc4_1.6-2build2.dsc | 2755 | 2020-Feb-04 07:24 |
| cvc4_1.5-1.debian.tar.xz | 6012 | 2017-Nov-01 22:57 |
| cvc4_1.6-2build2.debian.tar.xz | 8392 | 2020-Feb-04 07:24 |
| cvc4_1.8-2.debian.tar.xz | 16456 | 2020-Oct-01 00:43 |
| cvc4_1.8-3build2.debian.tar.xz | 16876 | 2024-Apr-01 03:36 |
| cvc4_1.8-2_amd64.deb | 73336 | 2020-Oct-01 01:28 |
| cvc4_1.8-3build2_amd64.deb | 75388 | 2024-Apr-01 05:36 |
| libcvc4-dev_1.8-2_amd64.deb | 123212 | 2020-Oct-01 01:28 |
| libcvc4-dev_1.8-3build2_amd64.deb | 125256 | 2024-Apr-01 05:36 |
| cvc4_1.6-2build2_amd64.deb | 137732 | 2020-Feb-04 08:45 |
| cvc4_1.5-1_amd64.deb | 138624 | 2017-Nov-03 15:57 |
| cvc4_1.5-1_i386.deb | 142804 | 2017-Nov-03 15:59 |
| libcvc4parser7_1.8-2_amd64.deb | 357524 | 2020-Oct-01 01:28 |
| libcvc4parser4_1.5-1_amd64.deb | 363676 | 2017-Nov-03 15:57 |
| libcvc4parser5_1.6-2build2_amd64.deb | 364108 | 2020-Feb-04 08:45 |
| libcvc4parser7_1.8-3build2_amd64.deb | 373822 | 2024-Apr-01 05:36 |
| libcvc4parser4_1.5-1_i386.deb | 390272 | 2017-Nov-03 15:59 |
| libcvc4-4_1.5-1_amd64.deb | 3375660 | 2017-Nov-03 15:57 |
| libcvc4-4_1.5-1_i386.deb | 3618828 | 2017-Nov-03 15:59 |
| libcvc4-5_1.6-2build2_amd64.deb | 4512744 | 2020-Feb-04 08:45 |
| libcvc4-7_1.8-3build2_amd64.deb | 4734878 | 2024-Apr-01 05:36 |
| libcvc4-7_1.8-2_amd64.deb | 5659900 | 2020-Oct-01 01:28 |
| libcvc4-dev_1.5-1_amd64.deb | 5968312 | 2017-Nov-03 15:57 |
| libcvc4-dev_1.5-1_i386.deb | 6384320 | 2017-Nov-03 15:59 |
| libcvc4-dev_1.6-2build2_amd64.deb | 7295824 | 2020-Feb-04 08:45 |
| cvc4_1.8.orig.tar.gz | 7547187 | 2020-Oct-01 00:43 |
| cvc4_1.6.orig.tar.gz | 7815893 | 2018-Aug-12 14:13 |
| cvc4_1.5.orig.tar.gz | 7926116 | 2017-Nov-01 22:57 |