Thu, 05 Dec 2024 02:47:31 UTC | login

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
Size5.92 KB
Modification timeMon, 01 Jan 2018 02:54:38 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.162-1.fc29.riscv64.rpm