We had to do a manual install, because the ready-made packages could not be installed successfully.
Installation instructions: http://fenicsproject.org/download/installation_from_source.html#installation-from-source
Steps:
https://bitbucket.org/fenics-project/ffc https://bitbucket.org/fenics-project/fiat https://bitbucket.org/fenics-project/instant https://bitbucket.org/fenics-project/ufl