| Name | /usr/include/yices/yices.h |
|---|---|
| Digest (sha256) | 667a271b598e7936b33674e8c4e428088c64c5b1e5a97b1aebda03cb6f947fe3 |
| Size | 154.57 KB |
| Modification time | Thu, 01 May 2025 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | yices-devel-2.6.5-8.fc42.riscv64.rpm |