| name | size | date |
|---|---|---|
| cvc5_1.3.2-1build1_amd64.deb | 119.2K | 2026-01-23 17:16:22 |
| libcvc5-1_1.3.2-1build1_amd64.deb | 5.89M | 2026-01-23 17:16:22 |
| libcvc5-dev_1.3.2-1build1_amd64.deb | 109.4K | 2026-01-23 17:16:22 |
| libcvc5parser1_1.3.2-1build1_amd64.deb | 229.2K | 2026-01-23 17:16:22 |
| python3-cvc5_1.3.2-1build1_amd64.deb | 381.7K | 2026-01-23 17:16:22 |
| cvc5_1.1.2-2build1_amd64.deb | 89.8K | 2025-01-03 21:43:40 |
| libcvc5-1_1.1.2-2build1_amd64.deb | 5.04M | 2025-01-03 21:43:40 |
| libcvc5-dev_1.1.2-2build1_amd64.deb | 82.2K | 2025-01-03 21:43:40 |
| libcvc5parser1_1.1.2-2build1_amd64.deb | 206.3K | 2025-01-03 21:43:40 |
| python3-cvc5_1.1.2-2build1_amd64.deb | 349.9K | 2025-01-03 21:43:39 |
| cvc5_1.1.2-1build1_amd64.deb | 93.4K | 2024-04-01 03:46:29 |
| libcvc5-1_1.1.2-1build1_amd64.deb | 4.85M | 2024-04-01 03:46:29 |
| libcvc5-dev_1.1.2-1build1_amd64.deb | 82.2K | 2024-04-01 03:46:29 |
| libcvc5parser1_1.1.2-1build1_amd64.deb | 205.0K | 2024-04-01 03:46:29 |
| python3-cvc5_1.1.2-1build1_amd64.deb | 339.2K | 2024-04-01 03:46:29 |