Information for file /usr/bin/eprover
| Name | /usr/bin/eprover |
|---|---|
| Digest (sha256) | 07242836b164fa2917dcb4a9b9ffd8b2978128b076c8bdbc3a06fd4384fcc700 |
| Size | 3.53 MB |
| Modification time | Wed, 18 Jul 2018 16:53:04 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | E-2.1-2.fc29.riscv64.rpm |
