Add a convertor from a SAT problem to pkg_jobs.
Fix misprint.
Insert digest when installing a package.
Calculate digest for local packages if needed.
Fix installed flag in cudf exporter.
Avoid core while adding package to the universe.
Flush a pipe before reading output.