Thu, 12 Dec 2024 05:36:27 UTC | login

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

Name/usr/src/debug/metamath-0.194-1.fc33.riscv64/mminou.c
Digest (sha256)f7b3b58fa98bece633b4b0bcc86880d743323aad49ccd6192b263656457a543b
Size55.09 KB
Modification timeMon, 17 Aug 2020 16:10:26 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMmetamath-debugsource-0.194-1.fc33.riscv64.rpm