Information for file /usr/share/info/openocd.info-2.gz
Name | /usr/share/info/openocd.info-2.gz |
---|---|
Digest (sha256) | 92edad825ce0e77352a45b756f36eec01ae51a246a5c113fc5b99acb89f25849 |
Size | 70.71 KB |
Modification time | Sat, 14 Jan 2023 20:40:39 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | openocd-0.12.0-2.fc38.riscv64.rpm |