Hello, this seems to be due to the fact that fenics depends on libdolfin-dev (>= 1.5.0), which currently only exists in experimental. The long-term solution would then be to upload libdolfin-dev 1.5.0-x to sid. A quick fix for a user should be to install libdolfin-dev 1.5.0-1 from experimental. -Ralf.