Thu, 05 Dec 2024 02:46:29 UTC | login

Information for file /usr/src/debug/metamath-0.196-1.fc33.riscv64/mmcmds.h

Name/usr/src/debug/metamath-0.196-1.fc33.riscv64/mmcmds.h
Digest (sha256)7d60ac25461f4b02e9129388c852fa005c0bed23c09fc6276969ce8816e37437
Size6.57 KB
Modification timeFri, 04 Sep 2020 21:54:38 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.196-1.fc33.riscv64.rpm