[aur-requests] [PRQ#26486] Orphan Request for btor2tools-git Rejected

2021-06-27 Thread notify--- via aur-requests
Request #26486 has been rejected by Muflone [1]: the package was updated [1] https://aur.archlinux.org/account/Muflone/

[aur-requests] [PRQ#26486] Orphan Request for btor2tools-git

2021-06-18 Thread notify--- via aur-requests
xiretza [1] filed an orphan request for btor2tools-git [2]: Doesn't build (missing makedepends), no reaction to comment [1] https://aur.archlinux.org/account/xiretza/ [2] https://aur.archlinux.org/pkgbase/btor2tools-git/