| Parent directory/ | - | - |
| cvc4_1.8-2.debian.tar.xz | 16456 | 2020-Sep-18 01:25 |
| cvc4_1.8-2.dsc | 2275 | 2020-Sep-18 01:25 |
| cvc4_1.8-2_amd64.deb | 81488 | 2020-Sep-18 02:11 |
| cvc4_1.8-2_i386.deb | 82548 | 2020-Sep-18 02:42 |
| cvc4_1.8-3+b4_amd64.deb | 82828 | 2025-Apr-07 16:25 |
| cvc4_1.8-3+b4_i386.deb | 85028 | 2025-Apr-07 16:36 |
| cvc4_1.8-3+b4_riscv64.deb | 79248 | 2025-Apr-10 03:49 |
| cvc4_1.8-3.debian.tar.xz | 16728 | 2022-Oct-29 19:57 |
| cvc4_1.8-3.dsc | 2244 | 2022-Oct-29 19:57 |
| cvc4_1.8-3_amd64.deb | 80688 | 2022-Oct-29 21:29 |
| cvc4_1.8-3_i386.deb | 82652 | 2022-Oct-29 21:23 |
| cvc4_1.8-5.debian.tar.xz | 17608 | 2025-Oct-27 09:28 |
| cvc4_1.8-5.dsc | 1861 | 2025-Oct-27 09:28 |
| cvc4_1.8-5_amd64.deb | 80784 | 2025-Oct-27 09:59 |
| cvc4_1.8-5_i386.deb | 82752 | 2025-Oct-27 10:04 |
| cvc4_1.8-5_riscv64.deb | 77180 | 2025-Oct-27 21:29 |
| cvc4_1.8.orig.tar.gz | 7547187 | 2020-Sep-13 23:17 |
| libcvc4-7_1.8-2_amd64.deb | 5651716 | 2020-Sep-18 02:11 |
| libcvc4-7_1.8-2_i386.deb | 6152812 | 2020-Sep-18 02:42 |
| libcvc4-7_1.8-3+b4_amd64.deb | 6616160 | 2025-Apr-07 16:25 |
| libcvc4-7_1.8-3+b4_i386.deb | 7176192 | 2025-Apr-07 16:36 |
| libcvc4-7_1.8-3+b4_riscv64.deb | 6548720 | 2025-Apr-10 03:49 |
| libcvc4-7_1.8-3_amd64.deb | 5936792 | 2022-Oct-29 21:29 |
| libcvc4-7_1.8-3_i386.deb | 6700704 | 2022-Oct-29 21:23 |
| libcvc4-7_1.8-5_amd64.deb | 6491580 | 2025-Oct-27 09:59 |
| libcvc4-7_1.8-5_i386.deb | 6931028 | 2025-Oct-27 10:04 |
| libcvc4-7_1.8-5_riscv64.deb | 6428252 | 2025-Oct-27 21:29 |
| libcvc4-dev_1.8-2_amd64.deb | 131264 | 2020-Sep-18 02:11 |
| libcvc4-dev_1.8-2_i386.deb | 131252 | 2020-Sep-18 02:42 |
| libcvc4-dev_1.8-3+b4_amd64.deb | 131428 | 2025-Apr-07 16:25 |
| libcvc4-dev_1.8-3+b4_i386.deb | 131408 | 2025-Apr-07 16:36 |
| libcvc4-dev_1.8-3+b4_riscv64.deb | 131448 | 2025-Apr-10 03:49 |
| libcvc4-dev_1.8-3_amd64.deb | 131112 | 2022-Oct-29 21:29 |
| libcvc4-dev_1.8-3_i386.deb | 131112 | 2022-Oct-29 21:23 |
| libcvc4-dev_1.8-5_amd64.deb | 131292 | 2025-Oct-27 09:59 |
| libcvc4-dev_1.8-5_i386.deb | 131300 | 2025-Oct-27 10:04 |
| libcvc4-dev_1.8-5_riscv64.deb | 131300 | 2025-Oct-27 21:29 |
| libcvc4parser7_1.8-2_amd64.deb | 366212 | 2020-Sep-18 02:11 |
| libcvc4parser7_1.8-2_i386.deb | 382484 | 2020-Sep-18 02:42 |
| libcvc4parser7_1.8-3+b4_amd64.deb | 382200 | 2025-Apr-07 16:25 |
| libcvc4parser7_1.8-3+b4_i386.deb | 411984 | 2025-Apr-07 16:36 |
| libcvc4parser7_1.8-3+b4_riscv64.deb | 371428 | 2025-Apr-10 03:49 |
| libcvc4parser7_1.8-3_amd64.deb | 362304 | 2022-Oct-29 21:29 |
| libcvc4parser7_1.8-3_i386.deb | 387704 | 2022-Oct-29 21:23 |
| libcvc4parser7_1.8-5_amd64.deb | 385420 | 2025-Oct-27 09:59 |
| libcvc4parser7_1.8-5_i386.deb | 413520 | 2025-Oct-27 10:04 |
| libcvc4parser7_1.8-5_riscv64.deb | 376068 | 2025-Oct-27 21:29 |