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/
Request #26105 has been accepted by grawlinson [1].
aur-requests@lists.archlinux.org