/usr/bin/goto-diff
7.42 MB
-rwxr-xr-x
File
- Name
- /usr/bin/goto-diff
- Digest (sha256)
- 073a4b04479c7b029340fd40d59989ad1a30cbdba8d065a532d291411d100308
- Size
- 7.42 MB
- Modification time
- Thu, 16 Jul 2026 00:00:00 UTC
- Flags
- none
- RPM
- cbmc-6.10.0-1.fc45.riscv64.rpm