Thu, 05 Dec 2024 03:04:29 UTC | login

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

Name/usr/src/debug/metamath-0.162-1.fc29.riscv64/metamath.c
Digest (sha256)84bdd4012b1cbb627d5aefc2af860d858e019146d6a239ee4dfcdbcf49342ff3
Size304.46 KB
Modification timeSun, 03 Jun 2018 22:16:35 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.162-1.fc29.riscv64.rpm