Resolving dependencies...
Downloading djinn-lib-0.0.1.2...
Configuring djinn-lib-0.0.1.2...
Building djinn-lib-0.0.1.2...
Preprocessing library djinn-lib-0.0.1.2...
[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.2...
Running Haddock for djinn-lib-0.0.1.2...
Running hscolour for djinn-lib-0.0.1.2...
Preprocessing library djinn-lib-0.0.1.2...
Preprocessing library djinn-lib-0.0.1.2...
Haddock coverage:
   0% (  0 / 13) in 'Djinn.LJTFormula'
  17% (  1 /  6) in 'Djinn.LJT'
   0% (  0 / 23) in 'Djinn.HTypes'
   0% (  0 /  3) in 'Djinn.HCheck'
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.2
Registering djinn-lib-0.0.1.2...
Installed djinn-lib-0.0.1.2