Mon, 02 Dec 2024 20:21:59 UTC | login

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

Name/usr/src/debug/metamath-0.178-1.fc31.riscv64/mmveri.c
Digest (sha256)179196cfd68bdfe38373dfcc8c3daf0e5a4c98cce67dd3496c86a46ed6274a42
Size34.56 KB
Modification timeThu, 21 Sep 2017 02:03:40 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.178-1.fc31.riscv64.rpm