Thu, 31 Oct 2024 22:56:58 UTC | login

Information for file /usr/src/debug/metamath-0.196-1.fc33.riscv64/mmpfas.c

Name/usr/src/debug/metamath-0.196-1.fc33.riscv64/mmpfas.c
Digest (sha256)4f44cec2da43b2d6431e6e2789fff9a1dcaeb862ce8ed801cae2e0410ee3a052
Size141.24 KB
Modification timeFri, 04 Sep 2020 21:54:40 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.196-1.fc33.riscv64.rpm