Thu, 05 Dec 2024 03:51:55 UTC | login

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

Name/usr/src/debug/metamath-0.186-1.fc33.riscv64/mmunif.h
Digest (sha256)d166b4aec8051a130821a23ef5e02d8954913c6944bdc242b69a8139fca1f7a2
Size3.96 KB
Modification timeMon, 02 Oct 2017 23:20:04 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.186-1.fc33.riscv64.rpm