]> git.ipfire.org Git - thirdparty/libsolv.git/commit
projects / thirdparty / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f29f76) | patch
proof generation: Try not to end with a SOLVER_RULE_RPM_SAME_NAME rule
authorMichael Schroeder <mls@suse.de>
Thu, 1 Dec 2022 10:01:43 +0000 (11:01 +0100)
committerMichael Schroeder <mls@suse.de>
Thu, 1 Dec 2022 10:05:17 +0000 (11:05 +0100)
commit6da047059ab0298038234651b408b0c2a5b0a1c2
tree30dda4eb6f67e4eaebb1c0d2249bb4a22ba9298ftree
parent1f29f76343ffbadd24ad9d376be61528948dda00commit | diff
proof generation: Try not to end with a SOLVER_RULE_RPM_SAME_NAME rule

They usually get not shown to the user, so it is nicer to have
something else as unsolvable rule.

Also fix sorting and start with negative assertions.
src/problems.c diff | blob | blame | history
Mirror of https://github.com/openSUSE/libsolv.git