Bug#871279: libdolfin2016.2: requires rebuild against GCC 7 and symbols/shlibs bump

[Drew Parsons]

On Mon, 2017-08-07 at 17:44 +0000, Mattia Rizzolo wrote:
> 
> > dolfin 2017.1 is in the NEW queue, so that upgrade will handle this
> > bug.
> 
> Is the binary you uploaded built with gcc-7?  Otherwise that would
> not fix this bug.

It's been sitting in NEW for a month, so it would have been gcc-6 I
think.  But the upload is to experimental.  I figure we can ignore
anything in experimental, the symbols will get reset for the new ABI
when we drop it into unstable.

Drew