Information for file /usr/share/info/openocd.info-1.gz
| Name | /usr/share/info/openocd.info-1.gz |
|---|---|
| Digest (sha256) | 4db8e4795a6ab890f09582bd9f251db24d4a537c18838e3c952175e9a24ce09e |
| Size | 99.08 KB |
| Modification time | Sat, 14 Jan 2023 20:40:34 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | openocd-0.12.0-4.fc40.riscv64.rpm |
