Information for file /usr/bin/panini
| Name | /usr/bin/panini |
|---|---|
| Digest (sha256) | 5e5ede3d927410038943669b61eefe4110e91129523b598bbe0122e54ba86db7 |
| Size | 336.05 KB |
| Modification time | Thu, 19 Jul 2018 08:43:51 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | Panini-0.72.0-2.fc29.riscv64.rpm |
