| Parent directory/ | - | - |
| cvc5_1.1.2.orig.tar.gz | 8.2 MiB | 2024-Mar-03 11:23 |
| cvc5_1.1.1-1.dsc | 2.4 KiB | 2024-Mar-30 00:18 |
| cvc5_1.1.1.orig.tar.gz | 8.1 MiB | 2024-Mar-30 00:18 |
| cvc5_1.1.1-1.debian.tar.xz | 6.8 KiB | 2024-Mar-30 00:18 |
| python3-cvc5_1.1.1-1_amd64.deb | 335.2 KiB | 2024-Mar-30 00:33 |
| cvc5_1.1.1-1_amd64.deb | 92.9 KiB | 2024-Mar-30 00:33 |
| libcvc5parser1_1.1.1-1_amd64.deb | 203.7 KiB | 2024-Mar-30 00:33 |
| libcvc5-1_1.1.1-1_amd64.deb | 4.8 MiB | 2024-Mar-30 00:33 |
| libcvc5-dev_1.1.1-1_amd64.deb | 70.0 KiB | 2024-Mar-30 00:33 |
| cvc5_1.1.1-1_arm64.deb | 84.4 KiB | 2024-Mar-30 00:45 |
| libcvc5parser1_1.1.1-1_arm64.deb | 191.5 KiB | 2024-Mar-30 00:45 |
| python3-cvc5_1.1.1-1_arm64.deb | 325.0 KiB | 2024-Mar-30 00:45 |
| libcvc5-1_1.1.1-1_arm64.deb | 4.4 MiB | 2024-Mar-30 00:45 |
| libcvc5-dev_1.1.1-1_arm64.deb | 69.9 KiB | 2024-Mar-30 00:45 |
| libcvc5-dev_1.1.1-1_ppc64el.deb | 70.0 KiB | 2024-Mar-30 01:10 |
| libcvc5parser1_1.1.1-1_ppc64el.deb | 210.9 KiB | 2024-Mar-30 01:10 |
| libcvc5-1_1.1.1-1_ppc64el.deb | 4.8 MiB | 2024-Mar-30 01:10 |
| cvc5_1.1.1-1_ppc64el.deb | 90.5 KiB | 2024-Mar-30 01:10 |
| python3-cvc5_1.1.1-1_ppc64el.deb | 321.3 KiB | 2024-Mar-30 01:10 |
| libcvc5-dev_1.1.1-1_riscv64.deb | 69.9 KiB | 2024-Mar-30 01:18 |
| python3-cvc5_1.1.1-1_riscv64.deb | 336.8 KiB | 2024-Mar-30 01:18 |
| libcvc5parser1_1.1.1-1_riscv64.deb | 230.0 KiB | 2024-Mar-30 01:18 |
| cvc5_1.1.1-1_riscv64.deb | 101.5 KiB | 2024-Mar-30 01:18 |
| libcvc5-1_1.1.1-1_riscv64.deb | 6.8 MiB | 2024-Mar-30 01:18 |
| cvc5_1.1.2-1build1.dsc | 2.5 KiB | 2024-Mar-31 18:36 |
| cvc5_1.1.2-1build1.debian.tar.xz | 6.4 KiB | 2024-Mar-31 18:36 |
| libcvc5-dev_1.1.2-1build1_amd64.deb | 82.2 KiB | 2024-Apr-01 03:46 |
| libcvc5parser1_1.1.2-1build1_amd64.deb | 205.0 KiB | 2024-Apr-01 03:46 |
| libcvc5-1_1.1.2-1build1_amd64.deb | 4.9 MiB | 2024-Apr-01 03:46 |
| python3-cvc5_1.1.2-1build1_amd64.deb | 339.2 KiB | 2024-Apr-01 03:46 |
| cvc5_1.1.2-1build1_amd64.deb | 93.4 KiB | 2024-Apr-01 03:46 |
| libcvc5-1_1.1.2-1build1_armhf.deb | 6.0 MiB | 2024-Apr-02 01:08 |
| python3-cvc5_1.1.2-1build1_armhf.deb | 341.1 KiB | 2024-Apr-02 01:08 |
| libcvc5-dev_1.1.2-1build1_armhf.deb | 82.2 KiB | 2024-Apr-02 01:08 |
| libcvc5parser1_1.1.2-1build1_armhf.deb | 211.9 KiB | 2024-Apr-02 01:08 |
| cvc5_1.1.2-1build1_armhf.deb | 101.8 KiB | 2024-Apr-02 01:08 |
| libcvc5parser1_1.1.2-1build1_arm64.deb | 193.6 KiB | 2024-Apr-02 04:06 |
| libcvc5-dev_1.1.2-1build1_arm64.deb | 82.2 KiB | 2024-Apr-02 04:06 |
| python3-cvc5_1.1.2-1build1_arm64.deb | 328.4 KiB | 2024-Apr-02 04:06 |
| libcvc5-1_1.1.2-1build1_arm64.deb | 4.5 MiB | 2024-Apr-02 04:06 |
| cvc5_1.1.2-1build1_arm64.deb | 85.9 KiB | 2024-Apr-02 04:06 |
| libcvc5-1_1.1.2-1build1_ppc64el.deb | 4.9 MiB | 2024-Apr-02 05:58 |
| python3-cvc5_1.1.2-1build1_ppc64el.deb | 324.1 KiB | 2024-Apr-02 05:58 |
| libcvc5-dev_1.1.2-1build1_ppc64el.deb | 82.2 KiB | 2024-Apr-02 05:58 |
| cvc5_1.1.2-1build1_ppc64el.deb | 91.2 KiB | 2024-Apr-02 05:58 |
| libcvc5parser1_1.1.2-1build1_ppc64el.deb | 213.2 KiB | 2024-Apr-02 05:58 |
| libcvc5-dev_1.1.2-1build1_riscv64.deb | 82.2 KiB | 2024-Apr-04 02:27 |
| cvc5_1.1.2-1build1_riscv64.deb | 102.8 KiB | 2024-Apr-04 02:27 |
| libcvc5-1_1.1.2-1build1_riscv64.deb | 6.9 MiB | 2024-Apr-04 02:27 |
| python3-cvc5_1.1.2-1build1_riscv64.deb | 341.1 KiB | 2024-Apr-04 02:27 |
| libcvc5parser1_1.1.2-1build1_riscv64.deb | 232.0 KiB | 2024-Apr-04 02:27 |
| cvc5_1.3.2.orig.tar.gz | 8.8 MiB | 2025-Dec-24 06:24 |
| cvc5_1.3.2-1build1.dsc | 2.4 KiB | 2026-Jan-23 17:13 |
| cvc5_1.3.2-1build1.debian.tar.xz | 8.4 KiB | 2026-Jan-23 17:13 |
| cvc5_1.3.2-1build1_amd64.deb | 119.2 KiB | 2026-Jan-23 17:16 |
| python3-cvc5_1.3.2-1build1_amd64.deb | 381.7 KiB | 2026-Jan-23 17:16 |
| libcvc5-1_1.3.2-1build1_amd64.deb | 5.9 MiB | 2026-Jan-23 17:16 |
| libcvc5parser1_1.3.2-1build1_amd64.deb | 229.2 KiB | 2026-Jan-23 17:16 |
| libcvc5-dev_1.3.2-1build1_amd64.deb | 109.4 KiB | 2026-Jan-23 17:16 |
| cvc5_1.3.2-1build1_arm64.deb | 112.0 KiB | 2026-Jan-23 17:17 |
| libcvc5-1_1.3.2-1build1_arm64.deb | 5.5 MiB | 2026-Jan-23 17:17 |
| python3-cvc5_1.3.2-1build1_arm64.deb | 347.8 KiB | 2026-Jan-23 17:17 |
| libcvc5-dev_1.3.2-1build1_arm64.deb | 109.3 KiB | 2026-Jan-23 17:17 |
| libcvc5parser1_1.3.2-1build1_arm64.deb | 214.1 KiB | 2026-Jan-23 17:17 |
| cvc5_1.3.2-1build1_armhf.deb | 127.6 KiB | 2026-Jan-23 17:17 |
| libcvc5parser1_1.3.2-1build1_armhf.deb | 245.1 KiB | 2026-Jan-23 17:17 |
| libcvc5-dev_1.3.2-1build1_armhf.deb | 109.4 KiB | 2026-Jan-23 17:17 |
| python3-cvc5_1.3.2-1build1_armhf.deb | 375.1 KiB | 2026-Jan-23 17:17 |
| libcvc5-1_1.3.2-1build1_armhf.deb | 7.1 MiB | 2026-Jan-23 17:17 |
| libcvc5parser1_1.3.2-1build1_ppc64el.deb | 233.4 KiB | 2026-Jan-23 17:17 |
| python3-cvc5_1.3.2-1build1_ppc64el.deb | 369.4 KiB | 2026-Jan-23 17:17 |
| libcvc5-dev_1.3.2-1build1_ppc64el.deb | 109.4 KiB | 2026-Jan-23 17:17 |
| libcvc5-1_1.3.2-1build1_ppc64el.deb | 5.8 MiB | 2026-Jan-23 17:17 |
| cvc5_1.3.2-1build1_ppc64el.deb | 117.3 KiB | 2026-Jan-23 17:17 |
| libcvc5parser1_1.3.2-1build1_riscv64.deb | 274.3 KiB | 2026-Jan-24 15:43 |
| libcvc5-dev_1.3.2-1build1_riscv64.deb | 109.3 KiB | 2026-Jan-24 15:43 |
| cvc5_1.3.2-1build1_riscv64.deb | 132.1 KiB | 2026-Jan-24 15:43 |
| libcvc5-1_1.3.2-1build1_riscv64.deb | 8.4 MiB | 2026-Jan-24 15:43 |
| python3-cvc5_1.3.2-1build1_riscv64.deb | 389.4 KiB | 2026-Jan-24 15:43 |