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/
