Well now Spyder can’t even find dolfin:
There is an unresolved post on this exact issue:
I cannot reproduce any example without being able to import dolfin. Any idea on what to do?