| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| yices-2.7.0-1.fc42.aarch64.rpm | 2025-Jul-18 16:42:18 | 1.2M | application/x-redhat-package-manager |
| yices-devel-2.7.0-1.fc42.aarch64.rpm | 2025-Jul-18 16:42:18 | 44.3K | application/x-redhat-package-manager |
| yices-doc-2.7.0-1.fc42.noarch.rpm | 2025-Jul-18 16:42:18 | 1.4M | application/x-redhat-package-manager |
| yices-tools-2.7.0-1.fc42.aarch64.rpm | 2025-Jul-18 16:42:18 | 1.8M | application/x-redhat-package-manager |