On Mon, 2018-07-16 at 19:12 +0800, Drew Parsons wrote: > A bug in openmpi broke the build of dolfin 2018.1.0.post1-1exp6 in > experimental. > > openmpi is now fixed in 3.1.1.real-3. So please give dolfin back for > build in experimental. > > gb dolfin_2018.1.0.post1-1exp6 . ANY -m68k -sh4 . experimental Needs ALL done too gb dolfin_2018.1.0.post1-1exp6 . ALL ANY -m68k -sh4 . experimental