| - | cvc5_1.1.2-2+b3_amd64.deb | 109176 | deb | 2025-01-09 11:11:00 |
| - | cvc5_1.1.2-2+b3_i386.deb | 111940 | deb | 2025-01-09 11:05:49 |
| - | cvc5_1.1.2-2.debian.tar.xz | 7396 | xz | 2024-03-19 22:22:50 |
| - | cvc5_1.1.2-2.dsc | 2470 | dsc | 2024-03-19 22:22:50 |
| - | cvc5_1.1.2.orig.tar.gz | 8581968 | gz | 2024-03-03 02:53:30 |
| - | libcvc5-1_1.1.2-2+b3_amd64.deb | 6682620 | deb | 2025-01-09 11:11:00 |
| - | libcvc5-1_1.1.2-2+b3_i386.deb | 7251204 | deb | 2025-01-09 11:05:49 |
| - | libcvc5-dev_1.1.2-2+b3_amd64.deb | 93296 | deb | 2025-01-09 11:11:00 |
| - | libcvc5-dev_1.1.2-2+b3_i386.deb | 93252 | deb | 2025-01-09 11:05:49 |
| - | libcvc5parser1_1.1.2-2+b3_amd64.deb | 236752 | deb | 2025-01-09 11:11:00 |
| - | libcvc5parser1_1.1.2-2+b3_i386.deb | 257908 | deb | 2025-01-09 11:05:49 |
| - | python3-cvc5_1.1.2-2+b3_amd64.deb | 339080 | deb | 2025-01-09 11:11:00 |
| - | python3-cvc5_1.1.2-2+b3_i386.deb | 325448 | deb | 2025-01-09 11:05:49 |