Information for file /usr/bin/metamath
Name | /usr/bin/metamath |
---|---|
Digest (sha256) | 96dbf9da4b7562946b1dcd33cd8ebc735a33f46300fef88c9019d12e75ad9ba9 |
Size | 501.85 KB |
Modification time | Sun, 25 Nov 2018 13:08:48 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | metamath-0.166-1.fc29.riscv64.rpm |