Information for file /usr/lib64/libflint-gc.so.13.5.2
| Name | /usr/lib64/libflint-gc.so.13.5.2 |
|---|---|
| Digest (sha256) | 70f8a02379e29870a0cb0c17787598a5baa7272cd3075495822442f357936ce7 |
| Size | 21.24 MB |
| Modification time | Tue, 05 Jun 2018 16:19:10 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | flint-2.5.2-20.fc29.riscv64.rpm |
