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