distribution/ is now fixed. The problem is still present for the "update" repositories. But as there is no update released yet, it could just be that it get's fixed with the first release of an update.