Thu, 05 Dec 2024 03:13:17 UTC | login

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

Name/usr/src/debug/metamath-0.178-1.fc31.riscv64/mminou.h
Digest (sha256)0228ed1cdba5f57d157384e8da6c38b3af3dfb45edb1f9e8443530a8bbdc2a3e
Size4.08 KB
Modification timeMon, 01 Jan 2018 02:54:36 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.178-1.fc31.riscv64.rpm