Thu, 05 Dec 2024 03:18:12 UTC | login

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

Name/usr/src/debug/metamath-0.162-1.fc29.riscv64/mminou.c
Digest (sha256)153fd40f833f7f0a9262c166570e3911701c75a19e39e59b9bea9dc57118e30a
Size52.18 KB
Modification timeWed, 24 Jan 2018 18:16:42 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.162-1.fc29.riscv64.rpm