| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libsatsolver-demo-0.17.10-2.1.x86_64.rpm | 659513 | 2024-Dec-12 15:00 |
| libsatsolver-devel-0.17.10-2.1.x86_64.rpm | 1363182 | 2024-Dec-12 15:00 |
| satsolver-tools-0.17.10-2.1.x86_64.rpm | 1354086 | 2024-Dec-12 15:00 |