[aur-requests] [PRQ#6939] Deletion Request for cryptominisat4-git

notify at aur.archlinux.org notify at aur.archlinux.org
Tue Nov 29 13:17:07 UTC 2016

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/

More information about the aur-requests mailing list