| name | size | date |
|---|---|---|
| cvc5_1.1.2-2_amd64.deb | 93.0K | 2025-09-13 01:55:27 |
| libcvc5-1_1.1.2-2_amd64.deb | 4.86M | 2025-09-13 01:55:27 |
| libcvc5-dev_1.1.2-2_amd64.deb | 82.2K | 2025-09-13 01:55:27 |
| libcvc5parser1_1.1.2-2_amd64.deb | 205.3K | 2025-09-13 01:55:27 |
| python3-cvc5_1.1.2-2_amd64.deb | 340.9K | 2025-09-13 01:55:27 |
| libcvc5parser1_1.0.3-1_amd64.deb | 297.2K | 2024-11-26 13:23:59 |
| libcvc5-1_1.0.3-1_amd64.deb | 4.56M | 2024-11-26 13:23:58 |
| libcvc5-dev_1.0.3-1_amd64.deb | 51.5K | 2024-11-26 13:23:58 |
| cvc5_1.0.3-1_amd64.deb | 96.3K | 2024-11-26 13:23:57 |
| libcvc5parser1_1.0.5-3_amd64.deb | 344.3K | 2024-11-15 03:08:25 |
| python3-cvc5_1.0.5-3_amd64.deb | 239.5K | 2024-11-15 03:08:25 |
| cvc5_1.0.5-3_amd64.deb | 88.2K | 2024-11-15 03:08:24 |
| libcvc5-1_1.0.5-3_amd64.deb | 4.57M | 2024-11-15 03:08:24 |
| libcvc5-dev_1.0.5-3_amd64.deb | 53.2K | 2024-11-15 03:08:24 |