Hi Anton On 24 August 2016 at 18:09, Anton Gladky <gladk@debian.org> wrote: > it looks like the eigen-upstream has a patch already, > but AFAIK it does not solve all problems. > > I discussed it with Philipp already and I will apply the > patch as far as it will be ready. Great, thanks for the update! > Yes, bug can be reassigned. I'll clone the bug, assign it to eigen3, and mark the others as being blocked by it. Regards Graham