rpms / cbmc

Clone
Source Code
GIT

ae2e83e update to new version 5.12, skipping few regression tests

Authored and Committed by vmihalko 3 years ago
raw patch tree parent
4 files changed. 79 lines added. 22 lines removed.
cbmc-5.12-fix-build.patchcbmc-5.11-fix-build.patch
file renamed
+28 -18
cbmc-5.12-fix-f33.patch
file added
+41
cbmc.spec
file modified
+9 -3
sources
file modified
+1 -1 
    update to new version 5.12, skipping few regression tests
cbmc-5.12-fix-build.patch cbmc-5.11-fix-build.patch
file renamed
+28 -18
file added
+41
file modified
+9 -3
file modified
+1 -1
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.