| Name | /usr/include/yices/yices_limits.h |
|---|---|
| Digest (sha256) | d22cf3411f27a272b6b66f40b81786fe7c9fd6d23c4a90cf4e46473c71693d4c |
| Size | 1.47 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 |