Information for file /usr/lib64/mp/bin/gecode
| Name | /usr/lib64/mp/bin/gecode |
|---|---|
| Digest (sha256) | 50214ae2aec10cbe3a15bf9c79b943a988b90bd4a447baf341482d11dd54fc59 |
| Size | 210.74 KB |
| Modification time | Wed, 26 Oct 2022 09:41:26 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | mp-3.1.0-39.20200303git7fd4828.fc37.riscv64.rpm |
