Thu, 05 Dec 2024 03:48:42 UTC | login

Information for file /usr/src/debug/metamath-0.186-1.fc33.riscv64/mmveri.h

Name/usr/src/debug/metamath-0.186-1.fc33.riscv64/mmveri.h
Digest (sha256)04838f3ef465ab9c576043c32b518d0b76da192984881ed7c2c373e4cfe9a9bb
Size2.07 KB
Modification timeMon, 08 Jul 2013 17:53:02 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.186-1.fc33.riscv64.rpm