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

[notify--- via aur-requests]

Request #25005 has been rejected by ainola [1]:

Maintainer applied the fix

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