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/
Request #25005 has been rejected by ainola [1]:
Maintainer applied the fix
aur-requests@lists.archlinux.org