[PRQ#79852] Orphan Request for cryptominisat4

[notify]

matthewq337 [1] filed an orphan request for cryptominisat4 [2]:

Flagged out-of-date (2025-08-18)

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