Information for file cbmc-5.50.0.tar.gz
Name | cbmc-5.50.0.tar.gz |
---|---|
Digest (sha256) | 515705ddf290b49c3b1bd4c790025940ec6c6eee70924ac266b567ce8a671f0d |
Size | 7.90 MB |
Modification time | Sun, 06 Feb 2022 15:29:22 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-rw-r-- |
Flags | |
RPM | cbmc-5.50.0-2.fc37.src.rpm |