Information for file /usr/bin/panini
| Name | /usr/bin/panini |
|---|---|
| Digest (sha256) | 0ded91e27260d57be83119a794ea98b5e9206d436ab4b92a6fa28c08fad870b0 |
| Size | 278.96 KB |
| Modification time | Wed, 12 Oct 2022 07:46:49 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | Panini-0.73.0-12.fc37.riscv64.rpm |
