@vfrmedia The Raspberry Pi is not supported by archlinux.org, but by archlinuxarm.org (who port the archlinux packages to the arm architectures). So no changes there in November.