| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| yices-doc-2.7.0-6.fc44.noarch.rpm | 1545995 | 2026-Feb-20 16:07 | |
| yices-2.7.0-6.fc44.aarch64.rpm | 1302394 | 2026-Feb-20 16:07 | |
| yices-tools-2.7.0-6.fc44.aarch64.rpm | 1965638 | 2026-Feb-20 16:07 | |
| yices-devel-2.7.0-6.fc44.aarch64.rpm | 45220 | 2026-Feb-20 16:07 | |