andreas_baumann [1] filed a deletion request for devtools32-git [2]: same as for archlinux32-keyring-git, lives at https://git.archlinux32.org/devtools32/ now.
[1] https://aur.archlinux.org/account/andreas_baumann/ [2] https://aur.archlinux.org/pkgbase/devtools32-git/
