The 0repo repository for 0install.de