State of libeigen3-dev in Ubuntu Focal

[Colin Watson]

On Tue, Feb 25, 2020 at 03:48:14PM -0500, Mike Purvis wrote:
> As far as launchpad engagement, it looks like this would be the page for
> that, but the bugtracker isn't active on it:
> https://launchpad.net/debian/+source/eigen3

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.)

The simplest thing would be to run "ubuntu-bug eigen3".

-- 
Colin Watson                                       [cjwatson at ubuntu.com]