Fri, 13 Dec 2024 10:27:40 UTC | login

Information for file /usr/lib/debug/.build-id/07/087a44eb9c1396a32e0a0b9c4387865f45addc.debug

Name/usr/lib/debug/.build-id/07/087a44eb9c1396a32e0a0b9c4387865f45addc.debug
Digest (sha256)
Size148.00 B
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMcoq-core-debuginfo-8.18.0-10.fc41.riscv64.rpm