Resolving dependencies...
Downloading picosat-0.1.0.0...
Configuring picosat-0.1.0.0...
Building picosat-0.1.0.0...
Preprocessing library picosat-0.1.0.0...
[1 of 1] Compiling Picosat          ( src/Picosat.hs, dist/build/Picosat.o )
In-place registering picosat-0.1.0.0...
Running Haddock for picosat-0.1.0.0...
Running hscolour for picosat-0.1.0.0...
Preprocessing library picosat-0.1.0.0...
Preprocessing library picosat-0.1.0.0...
Haddock coverage:
   0% (  0 /  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.0
Registering picosat-0.1.0.0...
Installed picosat-0.1.0.0