Downloading http://hackage.haskell.org/package/liquidhaskell-0.2.0.0/candidate/liquidhaskell-0.2.0.0.tar.gz Resolving dependencies... Configuring Diff-0.3.2... Building Diff-0.3.2... Preprocessing library Diff-0.3.2... [1 of 3] Compiling Data.Algorithm.Diff ( src/Data/Algorithm/Diff.hs, dist/build/Data/Algorithm/Diff.o ) Creating package registration file: /tmp/pkgConf-liquid-fixpoint-0.2.31963197315505804741.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/liquid-fixpoint-0.2.3.2-HETnvtekKGk5WSmOBDoiJg Installing executable(s) in /home/builder/hackage-server/build-cache/tmp-install/bin Warning: The directory /home/builder/hackage-server/build-cache/tmp-install/bin is not in the system search path. setup: '/opt/ghc/7.10.2/bin/ghc' exited with an error: : cannot satisfy -package-id ansi-terminal-0.6.2.3-f6781f0f2767df49990dd6b9a0469daa (use -v for more information) Failed to install liquid-fixpoint-0.2.3.2 cabal: Error: some packages failed to install: liquid-fixpoint-0.2.3.2 failed during the final install step. The exception was: ExitFailure 1 liquidhaskell-0.2.0.0 depends on liquid-fixpoint-0.2.3.2 which failed to install.