| ../ |
- |
- |
| cvc5_1.1.2-1build1.debian.tar.xz |
6.4 KB |
2024-03-31 18:36 |
| cvc5_1.1.2-1build1.dsc |
2.5 KB |
2024-03-31 18:36 |
| cvc5_1.1.2-1build1_amd64.deb |
93.4 KB |
2024-04-01 03:46 |
| cvc5_1.1.2-2build1.debian.tar.xz |
7.3 KB |
2025-01-03 21:43 |
| cvc5_1.1.2-2build1.dsc |
2.4 KB |
2025-01-03 21:43 |
| cvc5_1.1.2-2build1_amd64.deb |
89.8 KB |
2025-01-03 21:43 |
| cvc5_1.1.2-2build1_arm64.deb |
84.9 KB |
2025-01-03 21:44 |
| cvc5_1.1.2.orig.tar.gz |
8.2 MB |
2024-03-03 11:23 |
| cvc5_1.3.2-1build1.debian.tar.xz |
8.4 KB |
2026-01-23 17:13 |
| cvc5_1.3.2-1build1.dsc |
2.4 KB |
2026-01-23 17:13 |
| cvc5_1.3.2-1build1_amd64.deb |
119.2 KB |
2026-01-23 17:16 |
| cvc5_1.3.2-1build1_amd64v3.deb |
120.8 KB |
2026-01-23 17:16 |
| cvc5_1.3.2-1build1_arm64.deb |
112.0 KB |
2026-01-23 17:17 |
| cvc5_1.3.2.orig.tar.gz |
8.8 MB |
2025-12-24 06:24 |
| libcvc5-1_1.1.2-1build1_amd64.deb |
4.9 MB |
2024-04-01 03:46 |
| libcvc5-1_1.1.2-2build1_amd64.deb |
5.0 MB |
2025-01-03 21:43 |
| libcvc5-1_1.1.2-2build1_arm64.deb |
4.6 MB |
2025-01-03 21:44 |
| libcvc5-1_1.3.2-1build1_amd64.deb |
5.9 MB |
2026-01-23 17:16 |
| libcvc5-1_1.3.2-1build1_amd64v3.deb |
6.1 MB |
2026-01-23 17:16 |
| libcvc5-1_1.3.2-1build1_arm64.deb |
5.5 MB |
2026-01-23 17:17 |
| libcvc5-dev_1.1.2-1build1_amd64.deb |
82.2 KB |
2024-04-01 03:46 |
| libcvc5-dev_1.1.2-2build1_amd64.deb |
82.2 KB |
2025-01-03 21:43 |
| libcvc5-dev_1.1.2-2build1_arm64.deb |
82.2 KB |
2025-01-03 21:44 |
| libcvc5-dev_1.3.2-1build1_amd64.deb |
109.4 KB |
2026-01-23 17:16 |
| libcvc5-dev_1.3.2-1build1_amd64v3.deb |
109.4 KB |
2026-01-23 17:16 |
| libcvc5-dev_1.3.2-1build1_arm64.deb |
109.3 KB |
2026-01-23 17:17 |
| libcvc5parser1_1.1.2-1build1_amd64.deb |
205.0 KB |
2024-04-01 03:46 |
| libcvc5parser1_1.1.2-2build1_amd64.deb |
206.3 KB |
2025-01-03 21:43 |
| libcvc5parser1_1.1.2-2build1_arm64.deb |
194.8 KB |
2025-01-03 21:44 |
| libcvc5parser1_1.3.2-1build1_amd64.deb |
229.2 KB |
2026-01-23 17:16 |
| libcvc5parser1_1.3.2-1build1_amd64v3.deb |
233.6 KB |
2026-01-23 17:16 |
| libcvc5parser1_1.3.2-1build1_arm64.deb |
214.1 KB |
2026-01-23 17:17 |
| python3-cvc5_1.1.2-1build1_amd64.deb |
339.2 KB |
2024-04-01 03:46 |
| python3-cvc5_1.1.2-2build1_amd64.deb |
349.9 KB |
2025-01-03 21:43 |
| python3-cvc5_1.1.2-2build1_arm64.deb |
331.5 KB |
2025-01-03 21:44 |
| python3-cvc5_1.3.2-1build1_amd64.deb |
381.7 KB |
2026-01-23 17:16 |
| python3-cvc5_1.3.2-1build1_amd64v3.deb |
384.5 KB |
2026-01-23 17:16 |
| python3-cvc5_1.3.2-1build1_arm64.deb |
347.8 KB |
2026-01-23 17:17 |