| Parent directory/ | - | - |
| cvc5_1.0.3-1.debian.tar.xz | 5964 | 20-Dec-2022 11:29 |
| cvc5_1.0.3-1.dsc | 2305 | 20-Dec-2022 11:29 |
| cvc5_1.0.3-1_arm64.deb | 90118 | 20-Dec-2022 12:49 |
| cvc5_1.0.3-1_ppc64el.deb | 94728 | 20-Dec-2022 11:49 |
| cvc5_1.0.3-1_riscv64.deb | 103508 | 20-Dec-2022 14:48 |
| cvc5_1.0.3-1_s390x.deb | 92442 | 20-Dec-2022 11:49 |
| cvc5_1.0.3.orig.tar.gz | 8335175 | 20-Dec-2022 11:29 |
| cvc5_1.0.5-3.debian.tar.xz | 7072 | 24-Jun-2023 11:45 |
| cvc5_1.0.5-3.dsc | 2495 | 24-Jun-2023 11:45 |
| cvc5_1.0.5-3_arm64.deb | 81796 | 25-Jun-2023 08:04 |
| cvc5_1.0.5-3_ppc64el.deb | 86296 | 25-Jun-2023 08:04 |
| cvc5_1.0.5-3_riscv64.deb | 95544 | 25-Jun-2023 08:04 |
| cvc5_1.0.5-3_s390x.deb | 85610 | 25-Jun-2023 08:04 |
| cvc5_1.0.5.orig.tar.gz | 8431503 | 20-Jun-2023 23:39 |
| cvc5_1.1.2-1.debian.tar.xz | 6472 | 03-Mar-2024 11:23 |
| cvc5_1.1.2-1.dsc | 2470 | 03-Mar-2024 11:23 |
| cvc5_1.1.2-1_arm64.deb | 87928 | 03-Mar-2024 13:37 |
| cvc5_1.1.2-1_armhf.deb | 104208 | 09-Mar-2024 03:24 |
| cvc5_1.1.2-1_ppc64el.deb | 93348 | 03-Mar-2024 12:07 |
| cvc5_1.1.2-1_riscv64.deb | 104762 | 03-Mar-2024 15:42 |
| cvc5_1.1.2-1_s390x.deb | 95908 | 03-Mar-2024 12:07 |
| cvc5_1.1.2.orig.tar.gz | 8581968 | 03-Mar-2024 11:23 |
| libcvc5-1_1.0.3-1_arm64.deb | 4357562 | 20-Dec-2022 12:49 |
| libcvc5-1_1.0.3-1_ppc64el.deb | 4736376 | 20-Dec-2022 11:49 |
| libcvc5-1_1.0.3-1_riscv64.deb | 6581766 | 20-Dec-2022 14:48 |
| libcvc5-1_1.0.3-1_s390x.deb | 4497840 | 20-Dec-2022 11:49 |
| libcvc5-1_1.0.5-3_arm64.deb | 4355088 | 25-Jun-2023 08:04 |
| libcvc5-1_1.0.5-3_ppc64el.deb | 4734940 | 25-Jun-2023 08:04 |
| libcvc5-1_1.0.5-3_riscv64.deb | 6668892 | 25-Jun-2023 08:04 |
| libcvc5-1_1.0.5-3_s390x.deb | 4514006 | 25-Jun-2023 08:04 |
| libcvc5-1_1.1.2-1_arm64.deb | 4692478 | 03-Mar-2024 13:37 |
| libcvc5-1_1.1.2-1_armhf.deb | 6239722 | 09-Mar-2024 03:24 |
| libcvc5-1_1.1.2-1_ppc64el.deb | 5111516 | 03-Mar-2024 12:07 |
| libcvc5-1_1.1.2-1_riscv64.deb | 7207284 | 03-Mar-2024 15:42 |
| libcvc5-1_1.1.2-1_s390x.deb | 5495196 | 03-Mar-2024 12:07 |
| libcvc5-dev_1.0.3-1_arm64.deb | 52766 | 20-Dec-2022 12:49 |
| libcvc5-dev_1.0.3-1_ppc64el.deb | 52772 | 20-Dec-2022 11:49 |
| libcvc5-dev_1.0.3-1_riscv64.deb | 52766 | 20-Dec-2022 14:48 |
| libcvc5-dev_1.0.3-1_s390x.deb | 52762 | 20-Dec-2022 11:49 |
| libcvc5-dev_1.0.5-3_arm64.deb | 54480 | 25-Jun-2023 08:04 |
| libcvc5-dev_1.0.5-3_ppc64el.deb | 54494 | 25-Jun-2023 08:04 |
| libcvc5-dev_1.0.5-3_riscv64.deb | 54488 | 25-Jun-2023 08:04 |
| libcvc5-dev_1.0.5-3_s390x.deb | 54484 | 25-Jun-2023 08:04 |
| libcvc5-dev_1.1.2-1_arm64.deb | 84182 | 03-Mar-2024 13:37 |
| libcvc5-dev_1.1.2-1_armhf.deb | 84188 | 09-Mar-2024 03:24 |
| libcvc5-dev_1.1.2-1_ppc64el.deb | 84190 | 03-Mar-2024 12:07 |
| libcvc5-dev_1.1.2-1_riscv64.deb | 84182 | 03-Mar-2024 15:42 |
| libcvc5-dev_1.1.2-1_s390x.deb | 84200 | 03-Mar-2024 12:07 |
| libcvc5parser1_1.0.3-1_arm64.deb | 284416 | 20-Dec-2022 12:49 |
| libcvc5parser1_1.0.3-1_ppc64el.deb | 310868 | 20-Dec-2022 11:49 |
| libcvc5parser1_1.0.3-1_riscv64.deb | 314300 | 20-Dec-2022 14:48 |
| libcvc5parser1_1.0.3-1_s390x.deb | 281136 | 20-Dec-2022 11:49 |
| libcvc5parser1_1.0.5-3_arm64.deb | 324318 | 25-Jun-2023 08:04 |
| libcvc5parser1_1.0.5-3_ppc64el.deb | 357576 | 25-Jun-2023 08:04 |
| libcvc5parser1_1.0.5-3_riscv64.deb | 376434 | 25-Jun-2023 08:04 |
| libcvc5parser1_1.0.5-3_s390x.deb | 322852 | 25-Jun-2023 08:04 |
| libcvc5parser1_1.1.2-1_arm64.deb | 199016 | 03-Mar-2024 13:37 |
| libcvc5parser1_1.1.2-1_armhf.deb | 217022 | 09-Mar-2024 03:24 |
| libcvc5parser1_1.1.2-1_ppc64el.deb | 218352 | 03-Mar-2024 12:07 |
| libcvc5parser1_1.1.2-1_riscv64.deb | 237950 | 03-Mar-2024 15:42 |
| libcvc5parser1_1.1.2-1_s390x.deb | 217736 | 03-Mar-2024 12:07 |
| python3-cvc5_1.0.5-3_arm64.deb | 223546 | 25-Jun-2023 08:04 |
| python3-cvc5_1.0.5-3_ppc64el.deb | 232454 | 25-Jun-2023 08:04 |
| python3-cvc5_1.0.5-3_riscv64.deb | 232096 | 25-Jun-2023 08:04 |
| python3-cvc5_1.0.5-3_s390x.deb | 222160 | 25-Jun-2023 08:04 |
| python3-cvc5_1.1.2-1_arm64.deb | 336236 | 03-Mar-2024 13:37 |
| python3-cvc5_1.1.2-1_armhf.deb | 349328 | 09-Mar-2024 03:24 |
| python3-cvc5_1.1.2-1_ppc64el.deb | 331666 | 03-Mar-2024 12:07 |
| python3-cvc5_1.1.2-1_riscv64.deb | 349244 | 03-Mar-2024 15:42 |
| python3-cvc5_1.1.2-1_s390x.deb | 390812 | 03-Mar-2024 12:07 |
