State of libeigen3-dev in Ubuntu Focal

[Mike Purvis]

> No, if you're filing bugs on Ubuntu, you should use /ubuntu, not
> /debian, so https://launchpad.net/ubuntu/+source/eigen3.
> (https://launchpad.net/debian exists mainly as a convenience and as a
> by-product of the way we sync changes from Debian; it's not part of
> Debian's development workflow.)
>

Oh I see, thanks for the pointer— and there is an active bugtracker there
as well.

In any case, it looks like the patch from upstream's pull request doesn't
apply cleanly and the divergence is enough that I got scared off of trying
to make it work. I've asked that upstream consider porting the changes to
their 3.3.x branch, so that hopefully Focal could get them eventually in a
patch release.

And once 3.4 comes out, we can obviously use that via PPA.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-devel-discuss/attachments/20200225/e2e43376/attachment.html>