Resolving dependencies...
Downloading picosat-0.1.3...
Configuring picosat-0.1.3...
Building picosat-0.1.3...
Preprocessing library picosat-0.1.3...
[1 of 1] Compiling Picosat          ( src/Picosat.hs, dist/build/Picosat.o )
In-place registering picosat-0.1.3...
Running Haddock for picosat-0.1.3...
Running hscolour for picosat-0.1.3...
Preprocessing library picosat-0.1.3...
Preprocessing library picosat-0.1.3...
Haddock coverage:
  50% (  3 /  6) in 'Picosat'
Documentation created: dist/doc/html/picosat/index.html,
dist/doc/html/picosat/picosat.txt
Creating package registration file: /tmp/pkgConf-picosat-0.12059.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/picosat-0.1.3
Registering picosat-0.1.3...
Installed picosat-0.1.3