Community maintained repos.
Instructions for the transition from archlinux to archlinux32 can be found here.
Dual-bootable installation media can be found here.
Join us on #archlinux-ports IRC channel on Freenode, or subscribe to the mailing list.
The repository with the tools, ISOs and website files can be found here.