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

notify at aur.archlinux.org notify at aur.archlinux.org
Sat May 29 16:24:32 UTC 2021


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/


More information about the aur-requests mailing list