Information for file /usr/src/debug/vmpk-0.7.2-2.fc33.riscv64/src/extracontrols.h
| Name | /usr/src/debug/vmpk-0.7.2-2.fc33.riscv64/src/extracontrols.h |
|---|---|
| Digest (sha256) | 524ed63ec7694a11d3080a516aead6fb3df1ac88144c8665de749e2b4c88dfbd |
| Size | 4.15 KB |
| Modification time | Sat, 19 Jan 2019 19:05:27 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | vmpk-debugsource-0.7.2-2.fc33.riscv64.rpm |
