Fri, 13 Dec 2024 12:02:52 UTC | login

Information for file /usr/lib/debug/.build-id/80/ead3c0010634b1a5acf9b3818018170e5ec0d6.1.debug

Name/usr/lib/debug/.build-id/80/ead3c0010634b1a5acf9b3818018170e5ec0d6.1.debug
Digest (sha256)
Size79.00 B
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMcoq-coqide-server-debuginfo-8.18.0-10.fc41.riscv64.rpm