Information for file /usr/bin/eprover
| Name | /usr/bin/eprover |
|---|---|
| Digest (sha256) | 65cc621244066d6565daadd63a64a4dec289c2d08fb2b10e208a872b1f3558d6 |
| Size | 5.71 MB |
| Modification time | Sat, 12 Nov 2022 14:37:27 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | E-2.6-4.fc37.riscv64.rpm |
