Thu, 20 Jun 2024 08:34:17 UTC | login

Information for file /usr/lib/debug/usr/bin/cbmc-5.11-5.fc33.riscv64.debug

Name/usr/lib/debug/usr/bin/cbmc-5.11-5.fc33.riscv64.debug
Digest (sha256)de49c9e98bb75d7f084627c3585bf929720b0204fad6e0eee9230d05a8515952
Size164.40 MB
Modification timeSat, 28 Mar 2020 21:16:07 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcbmc-debuginfo-5.11-5.fc33.riscv64.rpm