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-4.fc40.riscv64.rpm |
