Information for file /usr/bin/metamath
Name | /usr/bin/metamath |
---|---|
Digest (sha256) | 42cbe9b969d279f763e82e7e09aa64890edfdd45ebee81bde61b5748e083cfc3 |
Size | 547.25 KB |
Modification time | Sat, 16 Jan 2021 17:55:02 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | metamath-0.196-1.fc33.riscv64.rpm |