Comment 2 for bug 469401

I don't know as yet whether this is a problem in the package lists that are generated by our repo software or with apt itself. At least the .tar.gz and .dsc files can be manually downloaded and extracted, so anyone can still build the packages.