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 -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
