The x86_64 scheduler is down.
This means that packages will currently not be built for x86_64.
UPDATE 2018-12-24: Fixed, packages get built again.
Rumors say a man with a red coat and a long white beard rebooted the server ;-)