Builds fails from time to time, often due to a out-of-sync or broken mirror. So let's switch to a reliable:tm: mirror managed by us instead of rolling the dice on every build.
Builds fails from time to time, often due to a out-of-sync or broken mirror. So let's switch to a reliable:tm: mirror managed by us instead of rolling the dice on every build.