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

Information for file /usr/src/debug/metamath-0.162-1.fc29.riscv64/mmveri.c

Name/usr/src/debug/metamath-0.162-1.fc29.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.162-1.fc29.riscv64.rpm