Resolving dependencies...
Downloading djinn-lib-0.0.1...
Configuring djinn-lib-0.0.1...
Building djinn-lib-0.0.1...
Preprocessing library djinn-lib-0.0.1...
[1 of 4] Compiling Djinn.LJTFormula ( src/Djinn/LJTFormula.hs, dist/build/Djinn/LJTFormula.o )
[2 of 4] Compiling Djinn.LJT        ( src/Djinn/LJT.hs, dist/build/Djinn/LJT.o )
[3 of 4] Compiling Djinn.HTypes     ( src/Djinn/HTypes.hs, dist/build/Djinn/HTypes.o )
[4 of 4] Compiling Djinn.HCheck     ( src/Djinn/HCheck.hs, dist/build/Djinn/HCheck.o )
In-place registering djinn-lib-0.0.1...
Running Haddock for djinn-lib-0.0.1...
Running hscolour for djinn-lib-0.0.1...
Preprocessing library djinn-lib-0.0.1...
Preprocessing library djinn-lib-0.0.1...
Haddock coverage:
   0% (  0 / 13) in 'Djinn.LJTFormula'
  20% (  1 /  5) in 'Djinn.LJT'
   0% (  0 / 22) in 'Djinn.HTypes'
   0% (  0 /  3) in 'Djinn.HCheck'
Warning: Djinn.LJT: could not find link destinations for:
    Djinn.LJT.MoreSolutions
Documentation created: dist/doc/html/djinn-lib/index.html,
dist/doc/html/djinn-lib/djinn-lib.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/djinn-lib-0.0.1
Registering djinn-lib-0.0.1...
Installed djinn-lib-0.0.1