[aur-requests] [PRQ#26105] Deletion Request for btor2tools-unstable-git

xiretza [1] filed a deletion request for btor2tools-unstable-git [2]: Duplicate of btor2tools-git [1] https://aur.archlinux.org/account/xiretza/ [2] https://aur.archlinux.org/pkgbase/btor2tools-unstable-git/