[aur-requests] [PRQ#26105] Deletion Request for btor2tools-unstable-git
29 May
2021
29 May
'21
6:24 p.m.
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/
6 Jun
6 Jun
3:48 a.m.
New subject: [aur-requests] [PRQ#26105] Deletion Request for btor2tools-unstable-git Accepted
Request #26105 has been accepted by grawlinson [1]. [1] https://aur.archlinux.org/account/grawlinson/
1066
Age (days ago)
1074
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org