[PRQ#79887] Orphan Request for mathsat-5 Accepted

[notify]

Request #79887 has been Accepted by ResRipper [1].

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