Package download broken

It is currently not possible to download packages from the repository. I will fix this in the next few days, say until the end of the month (let's hope). Please remember: I do this in my spare time. More...