*** setup configure Configuring funsat-0.5.1... Dependency QuickCheck -any && -any: using QuickCheck-1.2.0.0 Dependency array -any && -any: using array-0.1.0.0 Dependency base -any && -any: using base-3.0.2.0 Dependency bitset -any && -any: using bitset-0.6 Dependency containers -any && -any: using containers-0.1.0.2 Dependency fgl -any && -any: using fgl-5.4.1.1 Dependency mtl -any && -any: using mtl-1.1.0.2 Dependency parse-dimacs >=1.2 && >=1.2: using parse-dimacs-1.2 Dependency parsec -any && -any: using parsec-3.0.0 Dependency pretty -any && -any: using pretty-1.0.0.0 Dependency random -any: using random-1.0.0.0 Dependency time -any: using time-1.1.2.2 cabal-setup: The following installed packages are broken because other packages they depend on are missing. These broken packages must be rebuilt before they can be used. package bitset-0.6 is broken due to missing package QuickCheck-2.1.0.1