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

[notify--- via aur-requests]

micwoj92 [1] filed an orphan request for prover9 [2]:

Build is broken with parallel compilation, maintainer refuses to apply
provided fix.

[1] https://aur.archlinux.org/account/micwoj92/
[2] https://aur.archlinux.org/pkgbase/prover9/