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