Packages changed: lynx (2.9.0~dev.9 -> 2.9.0~dev.10) xfce4-settings z3 (4.8.13 -> 4.8.14) === Details === ==== lynx ==== Version update (2.9.0~dev.9 -> 2.9.0~dev.10) - update to 2.9.0~dev.10: * several fixes for problems found using asan2 with fuzzer-generated data * re-signed copyright/copying files -TD * update fr.po, id.po, nl.po, sv.po from http://translationproject.org/latest/lynx * update config.sub (2021-08-14) ==== xfce4-settings ==== Subpackages: xfce4-settings-lang - Fix runtime dependencies for xfce4-color-settings and replace Supplements with Recommends from the main package - Split xfce4-color-settings in a subpackage with appropriate dependencies (boo#1173953) ==== z3 ==== Version update (4.8.13 -> 4.8.14) - update to 4.8.14: * fixes Antimirov derivatives for intersections and unions required required for solving non-emptiness constraints. * includes x86 dll in nuget package for Windows. * exposes additional user propagator functionality