Wed, 11 Dec 2024 08:06:48 UTC | login

Information for file /usr/src/debug/metamath-0.171-1.fc30.riscv64/mmpars.h

Name/usr/src/debug/metamath-0.171-1.fc30.riscv64/mmpars.h
Digest (sha256)3ffbd863bf056796ac8f6fc1066aae6f6868a2b98d1e150ad8f6305def615a54
Size9.52 KB
Modification timeFri, 02 Feb 2018 18:12:16 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.171-1.fc30.riscv64.rpm