On 23/01/14 15:53, Stefan Monnier wrote: > > This brings up the next issue: how difficult is it in debian to configure > > the upgrade process so that it is the sources which are automatically > > downloaded and (also automatically) compiled? > > I don't think there's any support for that. That could be done by something that looks like a proxy, perhaps? Could be an interesting project ... Richard