Information for file /usr/bin/eprover
| Name | /usr/bin/eprover |
|---|---|
| Digest (sha256) | ad0eb4a8645f51c7e8a76b3fb822c5797a9709f10852f714e53ea10ce738bebc |
| Size | 3.62 MB |
| Modification time | Fri, 18 May 2018 19:07:42 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | E-2.0-4.fc29.riscv64.rpm |
