Mon, 03 Jun 2024 02:32:18 UTC | login

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

Name/usr/lib/.build-id/52/4d728ead5fd5b0d3ad6c994c18233fe4b00b19.1
Digest (sha256)
Size33.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