Information for file /usr/share/info/mpfi.info.gz
| Name | /usr/share/info/mpfi.info.gz |
|---|---|
| Digest (sha256) | feaae51cb8366166a5f66aef43b7ac4a2b0b2da1a7c83be1cac601f30be4012b |
| Size | 16.12 KB |
| Modification time | Tue, 16 Jan 2018 14:53:31 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | mpfi-devel-1.5.3-7.fc33.riscv64.rpm |
