Sat, 15 Jun 2024 02:31:30 UTC | login

Information for file /usr/src/debug/metamath-0.198-7.fc40.riscv64/mmcmds.c

Name/usr/src/debug/metamath-0.198-7.fc40.riscv64/mmcmds.c
Digest (sha256)6caf346b91c0d644fca743fd1416893c8ea957356c3f0fb5034153d965f98d21
Size259.73 KB
Modification timeSun, 27 Dec 2020 01:15:27 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.198-7.fc40.riscv64.rpm