<div dir="ltr"><div>Colin, Richard,</div><div><br></div><div>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:</div><div><br></div><div><a href="https://bugs.launchpad.net/ubuntu/+source/eigen3/+bug/1865225">https://bugs.launchpad.net/ubuntu/+source/eigen3/+bug/1865225</a></div><div><br></div><div>We'll see what happens from here!<br></div><div><br></div><div>Mike<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Feb 25, 2020 at 5:18 PM Mike Purvis <<a href="mailto:mike@uwmike.com">mike@uwmike.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
No, if you're filing bugs on Ubuntu, you should use /ubuntu, not<br>
/debian, so <a href="https://launchpad.net/ubuntu/+source/eigen3" rel="noreferrer" target="_blank">https://launchpad.net/ubuntu/+source/eigen3</a>.<br>
(<a href="https://launchpad.net/debian" rel="noreferrer" target="_blank">https://launchpad.net/debian</a> exists mainly as a convenience and as a<br>
by-product of the way we sync changes from Debian; it's not part of<br>
Debian's development workflow.)<br></blockquote><div><br></div><div>Oh I see, thanks for the pointer— and there is an active bugtracker there as well.<br></div><div><br></div><div>
<div>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.</div><div><br></div><div>And once 3.4 comes out, we can obviously use that via PPA.</div>

</div></div></div>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><a href="http://uwmike.com" target="_blank">http://uwmike.com</a></div>