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

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

Name/usr/src/debug/metamath-0.162-1.fc29.riscv64/mmdata.h
Digest (sha256)3a0b4d50eb24df33f5af488bff041d45ee6167a88c5f94ca7217208799b595a0
Size20.10 KB
Modification timeSun, 03 Jun 2018 15:53:50 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.162-1.fc29.riscv64.rpm