[PRQ#79887] Orphan Request for mathsat-5

[notify]

ResRipper [1] filed an orphan request for mathsat-5 [2]:

ood for 3 years

[1] https://aur.archlinux.org/account/ResRipper/
[2] https://aur.archlinux.org/pkgbase/mathsat-5/