[aur-requests] [PRQ#25005] Orphan Request for prover9
24 Apr
2021
24 Apr
'21
11:26 p.m.
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/
9 May
9 May
4:30 a.m.
New subject: [aur-requests] [PRQ#25005] Orphan Request for prover9 Rejected
Request #25005 has been rejected by ainola [1]: Maintainer applied the fix [1] https://aur.archlinux.org/account/ainola/
1326
Age (days ago)
1341
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org