[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

Previous message (by thread): [aur-requests] [PRQ#26104] Deletion Request for locky-git
Next message (by thread): [aur-requests] [PRQ#26106] Deletion Request for flmusic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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/

Previous message (by thread): [aur-requests] [PRQ#26104] Deletion Request for locky-git
Next message (by thread): [aur-requests] [PRQ#26106] Deletion Request for flmusic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the aur-requests mailing list