On Thu, Aug 2, 2012 at 1:30 AM, Kumar Appaiah <akumar@debian.org> wrote: > #680931 has been fixed by the latest gcc download, so I don't believe > that the workaround upload for Armadillo is necessary. Thanks Kumar. The latest gcc-4.7 package (version 4.7.1-6) fixed the problem. I guess a binNMU for DOLFIN is needed. Johannes