Information for file /usr/lib/debug/usr/lib64/ocaml/coq-gappa/gappatac.cmxs-1.7.0-2.rvre0.fc42.riscv64.debug

Name/usr/lib/debug/usr/lib64/ocaml/coq-gappa/gappatac.cmxs-1.7.0-2.rvre0.fc42.riscv64.debug
Digest (sha256)1b3009f8fd906c8aa9f082b734527cb185747d7a3c8c7ba6a339e608b972b506
Size75.97 KB
Modification timeWed, 02 Apr 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgappalib-coq-debuginfo-1.7.0-2.rvre0.fc42.riscv64.rpm