Name | /usr/bin/goto-inspect |
---|---|
Digest (sha256) | 0a5a8315e0e1ec1be504f7317cbc593c95583d9f97de603bf940de61da8594e4 |
Size | 1.83 MB |
Modification time | Fri, 09 Feb 2024 08:00:00 CST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | cbmc-5.95.1-4.fc40.riscv64.rpm |