| - | cvc4_1.8-3+b4_amd64.deb | 82828 | deb | 2025-04-07 16:25:06 |
| - | cvc4_1.8-3+b4_i386.deb | 85028 | deb | 2025-04-07 16:36:09 |
| - | cvc4_1.8-3.debian.tar.xz | 16728 | xz | 2022-10-29 19:57:30 |
| - | cvc4_1.8-3.dsc | 2244 | dsc | 2022-10-29 19:57:30 |
| - | cvc4_1.8.orig.tar.gz | 7547187 | gz | 2020-09-13 23:17:21 |
| - | libcvc4-7_1.8-3+b4_amd64.deb | 6616160 | deb | 2025-04-07 16:25:07 |
| - | libcvc4-7_1.8-3+b4_i386.deb | 7176192 | deb | 2025-04-07 16:36:09 |
| - | libcvc4-dev_1.8-3+b4_amd64.deb | 131428 | deb | 2025-04-07 16:25:07 |
| - | libcvc4-dev_1.8-3+b4_i386.deb | 131408 | deb | 2025-04-07 16:36:09 |
| - | libcvc4parser7_1.8-3+b4_amd64.deb | 382200 | deb | 2025-04-07 16:25:07 |
| - | libcvc4parser7_1.8-3+b4_i386.deb | 411984 | deb | 2025-04-07 16:36:09 |