On Wed, 11 Jul 2018 13:29:54 +0800 Drew Parsons <dpars...@debian.org>
> 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.


Reply via email to