Resolving dependencies...
Downloading picosat-0.1.0.1...
Configuring picosat-0.1.0.1...
Building picosat-0.1.0.1...
Preprocessing library picosat-0.1.0.1...
[1 of 1] Compiling Picosat          ( src/Picosat.hs, dist/build/Picosat.o )
In-place registering picosat-0.1.0.1...
Running Haddock for picosat-0.1.0.1...
Running hscolour for picosat-0.1.0.1...
Preprocessing library picosat-0.1.0.1...
Preprocessing library picosat-0.1.0.1...
Haddock coverage:
  20% (  1 /  5) in 'Picosat'
Documentation created: dist/doc/html/picosat/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/picosat-0.1.0.1
Registering picosat-0.1.0.1...
Installed picosat-0.1.0.1