Information for file /usr/lib64/libgecodekernel.so.44.0
Name | /usr/lib64/libgecodekernel.so.44.0 |
---|---|
Digest (sha256) | 3175d89669dec086ceb2bba61ce6e50e1efbe8519630ad13d9462b0e48120671 |
Size | 100.47 KB |
Modification time | Sat, 28 Jul 2018 22:31:00 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | gecode-5.1.0-4.fc29.riscv64.rpm |