Bug#780359: dolfin: FTBFS in unstable - Could not find a configuration file for package UFC that is compatible with requested version 1.4.0.

Package: dolfin Version: 1.4.0+dfsg-4 Followup-For: Bug #780359 This bug still affects sid and is now holding up a transition; your attention to it WITHOUT triggering another transition (as the version currently in experimental would) would be appreciated. Thanks. -- System Information: Debian

Bug#780359: dolfin: FTBFS in unstable - Could not find a configuration file for package UFC that is compatible with requested version 1.4.0.

Source: dolfin Version: 1.4.0+dfsg-4 Severity: serious Tags: sid Hi, dolfin FTBFS in unstable (but not jessie) with the error: - Performing Test OPENMP_UINT_TEST_RUNS -- Performing Test OPENMP_UINT_TEST_RUNS - Success -- Boost version: 1.55.0 -- Found the following Boost libraries: --