Thu, 05 Dec 2024 02:46:56 UTC | login

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

Name/usr/src/debug/metamath-0.178-1.fc31.riscv64/mmunif.c
Digest (sha256)0415a0bf5dbc2feb6df1e95ffe47fd49ef44f0f69ec37f1509e685ff7f9a9909
Size64.17 KB
Modification timeMon, 02 Oct 2017 23:20:08 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.178-1.fc31.riscv64.rpm