On Wed, 11 Jul 2018 13:29:54 +0800 Drew Parsons <dpars...@debian.org> wrote: > > Not just the autopkgtest, it's fouling up petsc and dolfin too ;(
Might be worth mentioning though, openmpi 3.1.1.real-1 has been with us over a week now, but the problem with the dolfin build (unable to build with petsc, and getting the 28016 error) only started today. Something else might be involved. Drew