Thu, 05 Dec 2024 02:51:37 UTC | login

Information for file /usr/src/debug/metamath-0.162-1.fc29.riscv64/mminou.h

Name/usr/src/debug/metamath-0.162-1.fc29.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.162-1.fc29.riscv64.rpm