<br><br><div class="gmail_quote"><div dir="ltr">On Mon, 7 Aug 2017, 6:57 p.m. Drew Parsons, <<a href="mailto:dparsons@debian.org">dparsons@debian.org</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
> - If your package is about to be renamed due to an upstream SONAME<br>
bump,<br>
>   you do not need to add any special symbols handling.<br>
> <br>
<br>
<br>
dolfin 2017.1 is in the NEW queue, so that upgrade will handle this<br>
bug.<br></blockquote></div><div><br></div><div>Is the binary you uploaded built with gcc-7?  Otherwise that would not fix this bug.</div>