Thu, 05 Dec 2024 03:03:52 UTC | login

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

Name/usr/src/debug/metamath-0.178-1.fc31.riscv64/mmwtex.h
Digest (sha256)291931699f11117e67712eefc55148579df98ce579711c5874f9f4f6be0fd985
Size8.79 KB
Modification timeSun, 11 Aug 2019 02:06:07 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.178-1.fc31.riscv64.rpm