| Parent directory/ | - | - |
| cvc4_1.8-3.dsc | 1.3 KiB | July 18, 2025 13:25 |
| cvc4_1.8-3.debian.tar.xz | 16.3 KiB | July 18, 2025 13:25 |
| cvc4_1.8-3_arm64.deb | 73.8 KiB | July 15, 2025 14:17 |
| cvc4_1.8-3_riscv64.deb | 75.1 KiB | July 15, 2025 14:17 |
| cvc4_1.8-3_loong64.deb | 76.0 KiB | July 15, 2025 14:17 |
| cvc4_1.8-3_amd64.deb | 79.5 KiB | July 15, 2025 14:18 |
| cvc4_1.8-3_i386.deb | 81.2 KiB | July 15, 2025 14:17 |
| libcvc4-dev_1.8-3_i386.deb | 128.1 KiB | July 15, 2025 14:17 |
| libcvc4-dev_1.8-3_arm64.deb | 128.1 KiB | July 15, 2025 14:17 |
| libcvc4-dev_1.8-3_amd64.deb | 128.1 KiB | July 15, 2025 14:17 |
| libcvc4-dev_1.8-3_riscv64.deb | 128.1 KiB | July 15, 2025 14:16 |
| libcvc4-dev_1.8-3_loong64.deb | 128.1 KiB | July 15, 2025 14:18 |
| libcvc4parser7_1.8-3_arm64.deb | 309.3 KiB | July 15, 2025 14:17 |
| libcvc4parser7_1.8-3_riscv64.deb | 326.2 KiB | July 15, 2025 14:17 |
| libcvc4parser7_1.8-3_loong64.deb | 327.1 KiB | July 15, 2025 14:17 |
| libcvc4parser7_1.8-3_amd64.deb | 350.8 KiB | July 15, 2025 14:16 |
| libcvc4parser7_1.8-3_i386.deb | 377.9 KiB | July 15, 2025 14:17 |
| cvc4-dbgsym_1.8-3_riscv64.deb | 854.6 KiB | July 15, 2025 14:18 |
| cvc4-dbgsym_1.8-3_arm64.deb | 969.4 KiB | July 15, 2025 14:18 |
| cvc4-dbgsym_1.8-3_loong64.deb | 969.6 KiB | July 15, 2025 14:17 |
| cvc4-dbgsym_1.8-3_i386.deb | 971.2 KiB | July 15, 2025 14:17 |
| cvc4-dbgsym_1.8-3_amd64.deb | 984.0 KiB | July 15, 2025 14:18 |
| libcvc4parser7-dbgsym_1.8-3_riscv64.deb | 4.0 MiB | July 15, 2025 14:17 |
| libcvc4-7_1.8-3_arm64.deb | 4.7 MiB | July 15, 2025 14:17 |
| libcvc4parser7-dbgsym_1.8-3_arm64.deb | 4.8 MiB | July 15, 2025 14:17 |
| libcvc4parser7-dbgsym_1.8-3_i386.deb | 4.9 MiB | July 15, 2025 14:17 |
| libcvc4parser7-dbgsym_1.8-3_loong64.deb | 4.9 MiB | July 15, 2025 14:18 |
| libcvc4parser7-dbgsym_1.8-3_amd64.deb | 5.0 MiB | July 15, 2025 14:17 |
| libcvc4-7_1.8-3_loong64.deb | 5.2 MiB | July 15, 2025 14:17 |
| libcvc4-7_1.8-3_riscv64.deb | 5.5 MiB | July 15, 2025 14:18 |
| libcvc4-7_1.8-3_amd64.deb | 5.6 MiB | July 15, 2025 14:17 |
| libcvc4-7_1.8-3_i386.deb | 6.3 MiB | July 15, 2025 14:18 |
| cvc4_1.8.orig.tar.gz | 7.2 MiB | July 18, 2025 13:25 |
| libcvc4-7-dbgsym_1.8-3_riscv64.deb | 152.1 MiB | July 15, 2025 14:18 |
| libcvc4-7-dbgsym_1.8-3_loong64.deb | 184.6 MiB | July 15, 2025 14:17 |
| libcvc4-7-dbgsym_1.8-3_arm64.deb | 185.0 MiB | July 15, 2025 14:17 |
| libcvc4-7-dbgsym_1.8-3_i386.deb | 185.1 MiB | July 15, 2025 14:17 |
| libcvc4-7-dbgsym_1.8-3_amd64.deb | 189.5 MiB | July 15, 2025 14:17 |