| Parent directory/ | - | - |
| cvc4_1.8-3_amd64.deb | 80688 | 2022-Oct-29 21:29 |
| libcvc4-7_1.8-3_amd64.deb | 5936792 | 2022-Oct-29 21:29 |
| libcvc4-dev_1.8-3_amd64.deb | 131112 | 2022-Oct-29 21:29 |
| libcvc4parser7_1.8-3_amd64.deb | 362304 | 2022-Oct-29 21:29 |
| cvc4_1.8-3+b4_amd64.deb | 82828 | 2025-Apr-07 16:25 |
| libcvc4-7_1.8-3+b4_amd64.deb | 6616160 | 2025-Apr-07 16:25 |
| libcvc4-dev_1.8-3+b4_amd64.deb | 131428 | 2025-Apr-07 16:25 |
| libcvc4parser7_1.8-3+b4_amd64.deb | 382200 | 2025-Apr-07 16:25 |
| cvc4_1.8-3+b4_arm64.deb | 76652 | 2025-Apr-08 01:42 |
| libcvc4-7_1.8-3+b4_arm64.deb | 5656244 | 2025-Apr-08 01:42 |
| libcvc4-dev_1.8-3+b4_arm64.deb | 131416 | 2025-Apr-08 01:42 |
| libcvc4parser7_1.8-3+b4_arm64.deb | 333588 | 2025-Apr-08 01:42 |
| cvc4_1.8-5+b1_arm64.deb | 74348 | 2026-Apr-23 13:45 |
| libcvc4-7_1.8-5+b1_arm64.deb | 5549964 | 2026-Apr-23 13:45 |
| libcvc4-dev_1.8-5+b1_arm64.deb | 131048 | 2026-Apr-23 13:45 |
| libcvc4parser7_1.8-5+b1_arm64.deb | 338580 | 2026-Apr-23 13:45 |
| cvc4_1.8-5+b1_amd64.deb | 80352 | 2026-Apr-23 15:35 |
| libcvc4-7_1.8-5+b1_amd64.deb | 6498200 | 2026-Apr-23 15:35 |
| libcvc4-dev_1.8-5+b1_amd64.deb | 131080 | 2026-Apr-23 15:35 |
| libcvc4parser7_1.8-5+b1_amd64.deb | 384736 | 2026-Apr-23 15:35 |