EPEL EL5 PPC koji builder repo broken?

[Ville Skyttä]

The EL5 PPC koji builder seems to be unable to find at least some
packages at the moment:

http://koji.fedoraproject.org/koji/getfile?taskID=6923025&name=mock_output.log&offset=-4000

http://kojipkgs.fedoraproject.org/repo/rhel/rhel-ppc-server-5/getPackage/gnutls-1.4.1-14.el5_10.ppc.rpm:
[Errno 14] PYCURL ERROR 22 - "The requested URL returned error: 404
Not Found"
Trying other mirror.
Error Downloading Packages:
  gnutls-1.4.1-14.el5_10.ppc: failed to retrieve
gnutls-1.4.1-14.el5_10.ppc.rpm from build
error was [Errno 14] PYCURL ERROR 22 - "The requested URL returned
error: 404 Not Found"