| Parent directory/ | - | - |
| cvc4_1.8-2.debian.tar.xz | 16K | 18-Sep-2020 01:25 |
| cvc4_1.8-2.dsc | 2275 | 18-Sep-2020 01:25 |
| cvc4_1.8-2_amd64.deb | 80K | 18-Sep-2020 02:11 |
| cvc4_1.8-2_arm64.deb | 74K | 18-Sep-2020 02:27 |
| cvc4_1.8-2_i386.deb | 81K | 18-Sep-2020 02:42 |
| cvc4_1.8-3+b4_amd64.deb | 81K | 07-Apr-2025 16:25 |
| cvc4_1.8-3+b4_arm64.deb | 75K | 08-Apr-2025 01:42 |
| cvc4_1.8-3+b4_i386.deb | 83K | 07-Apr-2025 16:36 |
| cvc4_1.8-3+b4_riscv64.deb | 77K | 10-Apr-2025 03:49 |
| cvc4_1.8-3.debian.tar.xz | 16K | 29-Oct-2022 19:57 |
| cvc4_1.8-3.dsc | 2244 | 29-Oct-2022 19:57 |
| cvc4_1.8-3_amd64.deb | 79K | 29-Oct-2022 21:29 |
| cvc4_1.8-3_arm64.deb | 74K | 29-Oct-2022 21:47 |
| cvc4_1.8-3_i386.deb | 81K | 29-Oct-2022 21:23 |
| cvc4_1.8-5.debian.tar.xz | 17K | 27-Oct-2025 09:28 |
| cvc4_1.8-5.dsc | 1861 | 27-Oct-2025 09:28 |
| cvc4_1.8-5_amd64.deb | 79K | 27-Oct-2025 09:59 |
| cvc4_1.8-5_arm64.deb | 73K | 27-Oct-2025 09:59 |
| cvc4_1.8-5_i386.deb | 81K | 27-Oct-2025 10:04 |
| cvc4_1.8-5_riscv64.deb | 75K | 27-Oct-2025 21:29 |
| cvc4_1.8.orig.tar.gz | 7M | 13-Sep-2020 23:17 |
| libcvc4-7_1.8-2_amd64.deb | 5M | 18-Sep-2020 02:11 |
| libcvc4-7_1.8-2_arm64.deb | 5M | 18-Sep-2020 02:27 |
| libcvc4-7_1.8-2_i386.deb | 6M | 18-Sep-2020 02:42 |
| libcvc4-7_1.8-3+b4_amd64.deb | 6M | 07-Apr-2025 16:25 |
| libcvc4-7_1.8-3+b4_arm64.deb | 5M | 08-Apr-2025 01:42 |
| libcvc4-7_1.8-3+b4_i386.deb | 7M | 07-Apr-2025 16:36 |
| libcvc4-7_1.8-3+b4_riscv64.deb | 6M | 10-Apr-2025 03:49 |
| libcvc4-7_1.8-3_amd64.deb | 6M | 29-Oct-2022 21:29 |
| libcvc4-7_1.8-3_arm64.deb | 5M | 29-Oct-2022 21:47 |
| libcvc4-7_1.8-3_i386.deb | 6M | 29-Oct-2022 21:23 |
| libcvc4-7_1.8-5_amd64.deb | 6M | 27-Oct-2025 09:59 |
| libcvc4-7_1.8-5_arm64.deb | 5M | 27-Oct-2025 09:59 |
| libcvc4-7_1.8-5_i386.deb | 7M | 27-Oct-2025 10:04 |
| libcvc4-7_1.8-5_riscv64.deb | 6M | 27-Oct-2025 21:29 |
| libcvc4-dev_1.8-2_amd64.deb | 128K | 18-Sep-2020 02:11 |
| libcvc4-dev_1.8-2_arm64.deb | 128K | 18-Sep-2020 02:27 |
| libcvc4-dev_1.8-2_i386.deb | 128K | 18-Sep-2020 02:42 |
| libcvc4-dev_1.8-3+b4_amd64.deb | 128K | 07-Apr-2025 16:25 |
| libcvc4-dev_1.8-3+b4_arm64.deb | 128K | 08-Apr-2025 01:42 |
| libcvc4-dev_1.8-3+b4_i386.deb | 128K | 07-Apr-2025 16:36 |
| libcvc4-dev_1.8-3+b4_riscv64.deb | 128K | 10-Apr-2025 03:49 |
| libcvc4-dev_1.8-3_amd64.deb | 128K | 29-Oct-2022 21:29 |
| libcvc4-dev_1.8-3_arm64.deb | 128K | 29-Oct-2022 21:47 |
| libcvc4-dev_1.8-3_i386.deb | 128K | 29-Oct-2022 21:23 |
| libcvc4-dev_1.8-5_amd64.deb | 128K | 27-Oct-2025 09:59 |
| libcvc4-dev_1.8-5_arm64.deb | 128K | 27-Oct-2025 09:59 |
| libcvc4-dev_1.8-5_i386.deb | 128K | 27-Oct-2025 10:04 |
| libcvc4-dev_1.8-5_riscv64.deb | 128K | 27-Oct-2025 21:29 |
| libcvc4parser7_1.8-2_amd64.deb | 358K | 18-Sep-2020 02:11 |
| libcvc4parser7_1.8-2_arm64.deb | 321K | 18-Sep-2020 02:27 |
| libcvc4parser7_1.8-2_i386.deb | 374K | 18-Sep-2020 02:42 |
| libcvc4parser7_1.8-3+b4_amd64.deb | 373K | 07-Apr-2025 16:25 |
| libcvc4parser7_1.8-3+b4_arm64.deb | 326K | 08-Apr-2025 01:42 |
| libcvc4parser7_1.8-3+b4_i386.deb | 402K | 07-Apr-2025 16:36 |
| libcvc4parser7_1.8-3+b4_riscv64.deb | 363K | 10-Apr-2025 03:49 |
| libcvc4parser7_1.8-3_amd64.deb | 354K | 29-Oct-2022 21:29 |
| libcvc4parser7_1.8-3_arm64.deb | 315K | 29-Oct-2022 21:47 |
| libcvc4parser7_1.8-3_i386.deb | 379K | 29-Oct-2022 21:23 |
| libcvc4parser7_1.8-5_amd64.deb | 376K | 27-Oct-2025 09:59 |
| libcvc4parser7_1.8-5_arm64.deb | 331K | 27-Oct-2025 09:59 |
| libcvc4parser7_1.8-5_i386.deb | 404K | 27-Oct-2025 10:04 |
| libcvc4parser7_1.8-5_riscv64.deb | 367K | 27-Oct-2025 21:29 |