Information for file /usr/bin/metamath
Name | /usr/bin/metamath |
---|---|
Digest (sha256) | 13e8653ec7681dc77ed3ed7fa29fe511b2903f00542b80d35fd25299ac517e13 |
Size | 547.25 KB |
Modification time | Wed, 06 Jan 2021 11:07:34 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | metamath-0.194-1.fc33.riscv64.rpm |