]> git.ipfire.org Git - thirdparty/libsolv.git/commit
projects / thirdparty / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 813cb39) | patch
Add proof reporting to the 'solv' example tool
authorMichael Schroeder <mls@suse.de>
Thu, 8 Dec 2022 10:53:12 +0000 (11:53 +0100)
committerMichael Schroeder <mls@suse.de>
Thu, 8 Dec 2022 10:53:12 +0000 (11:53 +0100)
commita72dd720a09ac115f6ae1d0c01aba4756684e441
tree613f04907641f81e84efb90d40a105ba01749110tree
parent813cb39f38e50ed5eeae97195934db69583c4772commit | diff
Add proof reporting to the 'solv' example tool
examples/solv/solv.c diff | blob | blame | history
Mirror of https://github.com/openSUSE/libsolv.git