Re: giveback dolfin

[Drew Parsons <dparsons@debian.org>]

On Mon, 2018-07-16 at 19:22 +0800, Drew Parsons wrote:
> 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

Everything is being upgraded at the same timing, giving dolfin grief.
A regression from sympy 1.2 broke fiat, breaking dolfin. Fixed in fiat
2017.2.0.0-4. So dolfin in sid also needs to be given back

  gb dolfin_2018.1.0.post1-1exp6 . ALL ANY -m68k -sh4 . experimental
  gb dolfin 2017.2.0.post0-3 . ANY . sid

(that's dolfin 2017.2.0.post0-3+b2 etc, being rebuilt for petsc 3.9)

Drew