Information for file cbmc-5.17.0.tar.gz
| Name | cbmc-5.17.0.tar.gz |
|---|---|
| Digest (sha256) | 97ab16ad5520ac2fcb7b0bbd40bf536450e30a4d998fc8df544acc3e8d728c02 |
| Size | 7.36 MB |
| Modification time | Mon, 02 Nov 2020 08:48:04 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | cbmc-5.17.0-1.fc33.src.rpm |
