Ian Jackson wrote: > Interesting point, yes. However, I think we need to fix the source > skew problem now, and it's relatively easy: fix dinstall not to delete > sources, and run a cron job occasionally to delete obsolete ones. It is not quite so easy. Sometimes different revisions of a source package use different .orig.tar.gz files, with the same name. Richard Braakman