Thu, 12 Dec 2024 05:50:23 UTC | login

Information for file /usr/src/debug/metamath-0.194-1.fc33.riscv64/mmveri.c

Name/usr/src/debug/metamath-0.194-1.fc33.riscv64/mmveri.c
Digest (sha256)dedf2242e2225a9aab8608307e06c2f54eb064c178fc13bad9f1fd8c7795598c
Size34.88 KB
Modification timeMon, 17 Aug 2020 16:10:27 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.194-1.fc33.riscv64.rpm