This version of drat-trim fixes a bug in sortClause. See https://github.com/marijnheule/drat-trim for more information.
The cadical update fixes several minor bugs and portability issues. See the commits at https://github.com/arminbiere/cadical for more information.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2019-24c26533c3
Please login to add feedback.