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

[notify--- via aur-requests]

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/