Thu, 05 Dec 2024 02:58:22 UTC | login

Information for file /usr/src/debug/metamath-0.178-1.fc31.riscv64/mmcmdl.h

Name/usr/src/debug/metamath-0.178-1.fc31.riscv64/mmcmdl.h
Digest (sha256)b078c77ca500380bffd2126a12f582753b05e72158233541ba1dd94df35569ca
Size1.92 KB
Modification timeTue, 02 Jan 2018 15:18:02 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.178-1.fc31.riscv64.rpm