Sat, 01 Jun 2024 00:04:48 UTC | login

Information for file /usr/lib/.build-id/52/4d728ead5fd5b0d3ad6c994c18233fe4b00b19

Name/usr/lib/.build-id/52/4d728ead5fd5b0d3ad6c994c18233fe4b00b19
Digest (sha256)
Size29.00 B
Modification timeMon, 18 Dec 2023 00:00:00 UTC
Userroot
Grouproot
Modelrwxrwxrwx
Flags
RPMcoq-coqide-server-8.17.1-8.fc40.riscv64.rpm