> 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.
-- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
