Colin, Richard, Thanks again for the discussion here. The upstream maintainer was willing to patch the change onto their 3.3 support branch, from which I applied the patches onto the existing 3.3.7 package and released the result to PPA. I've filed a bug on Launchpad with the details as suggested:
https://bugs.launchpad.net/ubuntu/+source/eigen3/+bug/1865225 We'll see what happens from here! Mike On Tue, Feb 25, 2020 at 5:18 PM Mike Purvis <m...@uwmike.com> wrote: > > 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. > -- http://uwmike.com
-- 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
