[aur-requests] [PRQ#25005] Orphan Request for prover9 Rejected

8 May 2021


      Request #25005 has been rejected by ainola [1]:
Maintainer applied the fix
[1] https://aur.archlinux.org/account/ainola/