please give-back dolfin on mipsel

[Gustavo Alkmim <galkmim@gmail.com>]

Hi,

please, give-back dolfin on mipsel.

I've successfully built dolfin using sbuild. Dolfin was not building due to a gcc bug, which was fixed.

See bug #788801

gb dolfin . mipsel

[0] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=788801