Information for file /usr/bin/highlight-gui
Name | /usr/bin/highlight-gui |
---|---|
Digest (sha256) | 4cd7ae1f223fe168da7b534584b912a2fd74f0e06676fe8082fa218a7334d0d2 |
Size | 1.91 MB |
Modification time | Sun, 20 May 2018 12:11:51 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | highlight-gui-3.42-2.fc29.riscv64.rpm |