Information for file /usr/src/debug/metamath-0.162-1.fc29.riscv64/mmcmds.h
Name | /usr/src/debug/metamath-0.162-1.fc29.riscv64/mmcmds.h |
---|---|
Digest (sha256) | 0401af793a7c24955637f6461d65bfb7896d6fc4962038a0ec9bbadad6c76fe4 |
Size | 5.92 KB |
Modification time | Mon, 01 Jan 2018 02:54:38 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | metamath-debugsource-0.162-1.fc29.riscv64.rpm |