Due to a hardware problem prometheus.cs.wmich.edu has been replaced Please change the mirror list entry to mirrors.cs.wmich.edu Reproducible: Always
Done. Thanks for informing us.