Hi Gabriel Syme,
That is just an example. I was really trying to install Xserver
So i would try:
pacman -Sy xorg-server
And no i do not ask why you would like to install xserver!
BTW: xorg-server is allready installed on RP2/3 and ODROID images.
Frank