| Parent directory/ | - | - |
| cvc5_1.0.3-1.debian.tar.xz | 5964 | 20-Dec-2022 03:26 |
| cvc5_1.0.3-1.dsc | 2305 | 20-Dec-2022 03:26 |
| cvc5_1.0.3-1_amd64.deb | 105K | 20-Dec-2022 05:55 |
| cvc5_1.0.3-1_arm64.deb | 95K | 20-Dec-2022 05:29 |
| cvc5_1.0.3.orig.tar.gz | 8M | 20-Dec-2022 03:26 |
| cvc5_1.0.5-3.debian.tar.xz | 7072 | 23-Jun-2023 20:03 |
| cvc5_1.0.5-3.dsc | 2495 | 23-Jun-2023 20:03 |
| cvc5_1.0.5-3_amd64.deb | 98K | 23-Jun-2023 21:29 |
| cvc5_1.0.5-3_arm64.deb | 86K | 23-Jun-2023 22:12 |
| cvc5_1.0.5-3_riscv64.deb | 92K | 07-Sep-2023 06:09 |
| cvc5_1.0.5.orig.tar.gz | 8M | 20-Jun-2023 17:12 |
| libcvc5-1_1.0.3-1_amd64.deb | 6M | 20-Dec-2022 05:55 |
| libcvc5-1_1.0.3-1_arm64.deb | 5M | 20-Dec-2022 05:29 |
| libcvc5-1_1.0.5-3_amd64.deb | 6M | 23-Jun-2023 21:29 |
| libcvc5-1_1.0.5-3_arm64.deb | 5M | 23-Jun-2023 22:12 |
| libcvc5-1_1.0.5-3_riscv64.deb | 6M | 07-Sep-2023 06:09 |
| libcvc5-dev_1.0.3-1_amd64.deb | 57K | 20-Dec-2022 05:55 |
| libcvc5-dev_1.0.3-1_arm64.deb | 57K | 20-Dec-2022 05:29 |
| libcvc5-dev_1.0.5-3_amd64.deb | 59K | 23-Jun-2023 21:29 |
| libcvc5-dev_1.0.5-3_arm64.deb | 59K | 23-Jun-2023 22:12 |
| libcvc5-dev_1.0.5-3_riscv64.deb | 59K | 07-Sep-2023 06:09 |
| libcvc5parser1_1.0.3-1_amd64.deb | 300K | 20-Dec-2022 05:55 |
| libcvc5parser1_1.0.3-1_arm64.deb | 267K | 20-Dec-2022 05:29 |
| libcvc5parser1_1.0.5-3_amd64.deb | 359K | 23-Jun-2023 21:29 |
| libcvc5parser1_1.0.5-3_arm64.deb | 312K | 23-Jun-2023 22:12 |
| libcvc5parser1_1.0.5-3_riscv64.deb | 349K | 07-Sep-2023 06:09 |
| python3-cvc5_1.0.5-3_amd64.deb | 222K | 23-Jun-2023 21:29 |
| python3-cvc5_1.0.5-3_arm64.deb | 195K | 23-Jun-2023 22:12 |
| python3-cvc5_1.0.5-3_riscv64.deb | 217K | 07-Sep-2023 06:09 |