Fedora EPEL 8 Update: python-pycosat-0.6.3-12.el8