Thu, 05 Dec 2024 02:59:51 UTC | login

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

Name/usr/src/debug/metamath-0.178-1.fc31.riscv64/mmwtex.c
Digest (sha256)bf4fc7020254a4e6f372dca0b66f90d6f9c1b7986c346e83a06f1b7af7f3930a
Size259.83 KB
Modification timeSun, 11 Aug 2019 02:06:06 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.178-1.fc31.riscv64.rpm