Information for file /usr/bin/dumpmidi
| Name | /usr/bin/dumpmidi |
|---|---|
| Digest (sha256) | ea1c91f3b6c895c11fa03dd6cc1cb36935809a2e406eaeb6ad9cdeb3e26d9f63 |
| Size | 23.84 KB |
| Modification time | Thu, 12 Jan 2023 07:49:42 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | ocp-0.2.101-1.fc37.riscv64.rpm |
