Hello, Thanks for your information. > I can provide the set of apt source list files and the pkgcache.bin > if this will help. It may help. Could you please send them, and srcpkgcache.bin? Regards, Nicolas