Commit - rpms/cbmc - 181f950a169476e1a4bc76120ab65d29515d1b7a

raw patch tree parent

3 files changed. 8 lines added. 4 lines removed.

    Fix patch tab indent and bump version

Fedora CI - scratch build
success

Package tests for 181f950a: passed
2 years ago
Build completed
success

Built as cbmc-5.37.0-1.fc35
2 years ago
Build completed
success

Built as cbmc-5.37.0-1.fc36
2 years ago

cbmc-f35-deprecated-python.patch

file modified

+2 -2

cbmc.spec

file modified

+5 -1

sources

file modified

+1 -1