Information for file cbmc.spec
Name | cbmc.spec |
---|---|
Digest (sha256) | cb389912d78d09637271a0f88826726643ffd0572584f042e5f7afb4348c7cb5 |
Size | 7.39 KB |
Modification time | Thu, 27 Sep 2018 03:48:45 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-r--r-- |
Flags | |
RPM | cbmc-5.10-1.fc29.src.rpm |