Information for file /usr/lib64/mlton/targets/self/libgdtoa-gdb.a
| Name | /usr/lib64/mlton/targets/self/libgdtoa-gdb.a |
|---|---|
| Digest (sha256) | b5d98075e2303d4b05f3a7299a0452d099b78c81d49a1a92c3e758840864852c |
| Size | 717.95 KB |
| Modification time | Sat, 15 Aug 2020 03:59:59 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | mlton-20180207-14.fc33.riscv64.rpm |
