Bug#831790: fenics

[Christophe Troestler]

Please make sure that packages are consistent:

# apt install fenics
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
 fenics : Depends: libdolfin-dev (>= 1.5.0) but it is not going to be 
 installed
          Depends: python-dolfin (>= 1.5.0) but it is not going to be 
          installed
          Depends: dolfin-doc (>= 1.5.0) but it is not going to be 
          installed
          Depends: dolfin-bin (>= 1.5.0) but it is not going to be 
          installed
E: Unable to correct problems, you have held broken packages.

# apt-cache policy libdolfin-dev
libdolfin-dev:
  Installed: (none)
  Candidate: 2016.1.0-5+b3
  Version table:
     2016.1.0-5+b3 900
        900 http://ftp.be.debian.org/debian testing/main amd64 Packages
        400 http://ftp.be.debian.org/debian unstable/main amd64 Packages
     1.4.0+dfsg-4 300
        300 http://ftp.de.debian.org/debian stable/main amd64 Packages