Primary mirror will be down for the day

August 31st, 2015 by Dagobert Michelsen

Dear users, our primary mirror will be down for today due to hardware migration of our provider. In the meantime you can use the direct catalog from the buildfarm, although it has a slower internet connection as the primary mirror.

Sorry for the inconvenience — Dago