| 📂 Parent Directory | | |
| 📄 cvc5_1.0.3-1.debian.tar.xz | 2022-12-20 03:26:07 | 5.82 KB |
| 📄 cvc5_1.0.3-1.dsc | 2022-12-20 03:26:07 | 2.25 KB |
| 📄 cvc5_1.0.3.orig.tar.gz | 2022-12-20 03:26:07 | 7.95 MB |
| 📄 cvc5_1.1.2-2+b2_armhf.deb | 2025-01-29 10:08:02 | 96.01 KB |
| 📄 cvc5_1.1.2-2.debian.tar.xz | 2024-03-19 22:22:50 | 7.22 KB |
| 📄 cvc5_1.1.2-2.dsc | 2024-03-19 22:22:50 | 2.41 KB |
| 📄 cvc5_1.1.2.orig.tar.gz | 2024-03-03 02:53:30 | 8.18 MB |
| 📄 cvc5_1.3.2-1.debian.tar.xz | 2025-12-24 01:13:58 | 8.33 KB |
| 📄 cvc5_1.3.2-1.dsc | 2025-12-24 01:13:58 | 2.41 KB |
| 📄 cvc5_1.3.2-1_armhf.deb | 2026-01-14 10:08:03 | 125.11 KB |
| 📄 cvc5_1.3.2.orig.tar.gz | 2025-12-24 01:13:58 | 8.82 MB |
| 📄 libcvc5-1_1.1.2-2+b2_armhf.deb | 2025-01-29 10:08:02 | 5.51 MB |
| 📄 libcvc5-1_1.3.2-1_armhf.deb | 2026-01-14 10:08:03 | 6.35 MB |
| 📄 libcvc5-dev_1.1.2-2+b2_armhf.deb | 2025-01-29 10:08:02 | 91.07 KB |
| 📄 libcvc5-dev_1.3.2-1_armhf.deb | 2026-01-14 10:08:03 | 121.11 KB |
| 📄 libcvc5parser1_1.1.2-2+b2_armhf.deb | 2025-01-29 10:08:02 | 196.3 KB |
| 📄 libcvc5parser1_1.3.2-1_armhf.deb | 2026-01-14 10:08:03 | 225.39 KB |
| 📄 python3-cvc5_1.1.2-2+b2_armhf.deb | 2025-01-29 10:08:02 | 305.34 KB |
| 📄 python3-cvc5_1.3.2-1_armhf.deb | 2026-01-14 10:08:03 | 332.7 KB |
