| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| yices-2.7.0-6.fc44.x86_64.rpm | 1457263 | 2026-Feb-20 16:07 | |
| yices-devel-2.7.0-6.fc44.x86_64.rpm | 45248 | 2026-Feb-20 16:07 | |
| yices-doc-2.7.0-6.fc44.noarch.rpm | 1545995 | 2026-Feb-20 16:07 | |
| yices-tools-2.7.0-6.fc44.x86_64.rpm | 2301083 | 2026-Feb-20 16:07 | |