Fri, 29 Nov 2024 22:15:02 UTC | login

Information for file /usr/lib/.build-id/07/8d7bf0f3fff929b0884241d5a232c0a42c8b27

Name/usr/lib/.build-id/07/8d7bf0f3fff929b0884241d5a232c0a42c8b27
Digest (sha256)
Size57.00 B
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMcoq-core-8.17.1-8.fc40.riscv64.rpm