PythonShell [1] filed a deletion request for cryptominisat4-git [2]: There are cryptominisat4 and cryptominisat5 exists, it is no more need to maintain this cryptominisat4-git package. Maybe someone will find cryptominisat-git or cryptominisat5-git useful. [1] https://aur.archlinux.org/account/PythonShell/ [2] https://aur.archlinux.org/pkgbase/cryptominisat4-git/