| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cvc5_1.0.3-1_amd64.deb | 107900 | 2026-Jan-06 20:01 |
| libcvc5-1_1.0.3-1_amd64.deb | 5841260 | 2026-Jan-06 20:01 |
| libcvc5parser1_1.0.3-1_amd64.deb | 306872 | 2026-Jan-06 20:01 |
| libcvc5-dev_1.0.3-1_amd64.deb | 58584 | 2026-Jan-06 20:01 |