Wed, 11 Dec 2024 08:06:46 UTC | login

Information for file cbmc.spec

Namecbmc.spec
Digest (sha256)cb389912d78d09637271a0f88826726643ffd0572584f042e5f7afb4348c7cb5
Size7.39 KB
Modification timeThu, 27 Sep 2018 03:48:45 UTC
Usermockbuild
Groupmock
Mode-rw-r--r--
Flags
RPMcbmc-5.10-1.fc29.src.rpm