[PRQ#79852] Orphan Request for cryptominisat4 Accepted

[notify]

Request #79852 has been Accepted by matthewq337 [1].

[1] https://aur.archlinux.org/account/matthewq337/