CyanoKobalamyne [1] filed an orphan request for btor2tools-git [2]: The package maintainer has not taken action on the comments for over two years and the out-of-date note for over a year. [1] https://aur.archlinux.org/account/CyanoKobalamyne/ [2] https://aur.archlinux.org/pkgbase/btor2tools-git/