Bug#571136: Fwd: Re: Bug#571136: please remove useless devices from devices.tar.gz

2016-01-14 Thread Alberto Di Fazio
excuse me for asking about something off subject: does someone have an old DEC-alpha computer - better a server - (possibly with two CPUs but not necessarily) to give away or to sell? if yes, please tell me. All the best from Rome, Alberto.  Dr. Alberto Di Fazio senior scientist, National I

Bug#571136: Fwd: Re: Bug#571136: please remove useless devices from devices.tar.gz

2016-01-10 Thread Steven Chamberlain
Hi, Marco d'Itri wrote: > On Jan 10, Cyril Brulebois wrote: > > We have a bug report with a patch by Marco against debootstrap (see > > attachment), which changes how devices are generated; I can't really > > tell how much this might affect all of you (especially with debootstrap > It is not supp

Bug#571136: Fwd: Re: Bug#571136: please remove useless devices from devices.tar.gz

2016-01-09 Thread Marco d'Itri
On Jan 10, Cyril Brulebois wrote: > We have a bug report with a patch by Marco against debootstrap (see > attachment), which changes how devices are generated; I can't really > tell how much this might affect all of you (especially with debootstrap It is not supposed to, since both hurd and kfree

Bug#571136: Fwd: Re: Bug#571136: please remove useless devices from devices.tar.gz

2016-01-09 Thread Cyril Brulebois
Hi ports people, I'm not exactly sure what happened with debian-ports@ (I think there were some planned changes but I don't remember the outcome), so I'm explicitly sending this to bsd/hurd lists since I suspect the linux ports are less likely to be affected by this. We have a bug report with a p