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

[notify at aur.archlinux.org]

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/