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

[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/