Thu, 05 Dec 2024 03:07:17 UTC | login

Information for file /usr/src/debug/metamath-0.178-1.fc31.riscv64/mmpfas.h

Name/usr/src/debug/metamath-0.178-1.fc31.riscv64/mmpfas.h
Digest (sha256)47b14bae53eb689c6c09af96aa77f042595e82dc0313d090ec234ac41486e0c7
Size9.30 KB
Modification timeTue, 13 Sep 2016 02:41:26 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.178-1.fc31.riscv64.rpm