[PRQ#71663] Deletion Request for devtools32
6 Apr
2025
6 Apr
'25
8:23 a.m.
andreas_baumann [1] filed a deletion request for devtools32 [2]: same as for archlinux32-keyring, lives at https://git.archlinux32.org/devtools32/ now. [1] https://aur.archlinux.org/account/andreas_baumann/ [2] https://aur.archlinux.org/pkgbase/devtools32/
7 Apr
7 Apr
1:13 p.m.
New subject: [PRQ#71663] Deletion Request for devtools32 Accepted
Request #71663 has been Accepted by Antiz [1]: [Autogenerated] Accepted deletion for devtools32. [1] https://aur.archlinux.org/account/Antiz/
235
Age (days ago)
236
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org