| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| yices-2.7.0-1.fc42.aarch64.rpm | 1.2 MiB | 2025-Jul-18 23:42 |
| yices-devel-2.7.0-1.fc42.aarch64.rpm | 44.3 KiB | 2025-Jul-18 23:42 |
| yices-doc-2.7.0-1.fc42.noarch.rpm | 1.5 MiB | 2025-Jul-18 23:42 |
| yices-tools-2.7.0-1.fc42.aarch64.rpm | 1.9 MiB | 2025-Jul-18 23:42 |