Resolving dependencies...
Configuring djinn-lib-0.0.1.1...
Building djinn-lib-0.0.1.1...
Preprocessing library djinn-lib-0.0.1.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.1...
Running Haddock for djinn-lib-0.0.1.1...
Running hscolour for djinn-lib-0.0.1.1...
Preprocessing library djinn-lib-0.0.1.1...
Preprocessing library djinn-lib-0.0.1.1...
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.1
Registering djinn-lib-0.0.1.1...
Installed djinn-lib-0.0.1.1
Configuring stm-2.4.3...
Building stm-2.4.3...
Preprocessing library stm-2.4.3...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
In-place registering stm-2.4.3...
Running Haddock for stm-2.4.3...
Running hscolour for stm-2.4.3...
Preprocessing library stm-2.4.3...
Preprocessing library stm-2.4.3...
Haddock coverage:
   0% (  0 / 11) in 'Control.Sequential.STM'
 100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
 100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
 100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
 100% ( 15 / 15) in 'Control.Concurrent.STM.TMVar'
 100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
 100% (  2 /  2) in 'Control.Concurrent.STM.TArray'
  90% (  9 / 10) in 'Control.Monad.STM'
 100% (  8 /  8) in 'Control.Concurrent.STM'
  40% (  2 /  5) in 'Control.Concurrent.STM.TSem'
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/stm-2.4.3
Registering stm-2.4.3...
Installed stm-2.4.3
Configuring async-2.0.1.5...
Building async-2.0.1.5...
Preprocessing library async-2.0.1.5...
[1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o )
In-place registering async-2.0.1.5...
Running Haddock for async-2.0.1.5...
Running hscolour for async-2.0.1.5...
Preprocessing library async-2.0.1.5...
Preprocessing library async-2.0.1.5...
Haddock coverage:
 100% ( 46 / 46) in 'Control.Concurrent.Async'
Documentation created: dist/doc/html/async/index.html,
dist/doc/html/async/async.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/async-2.0.1.5
Registering async-2.0.1.5...
Installed async-2.0.1.5
Downloading djinn-ghc-0.0.2...
Configuring djinn-ghc-0.0.2...
Building djinn-ghc-0.0.2...
Preprocessing library djinn-ghc-0.0.2...
[1 of 1] Compiling Djinn.GHC        ( src/Djinn/GHC.hs, dist/build/Djinn/GHC.o )

src/Djinn/GHC.hs:70:31: Not in scope: `G.synTyConDefn_maybe'
Failed to install djinn-ghc-0.0.2
cabal: Error: some packages failed to install:
djinn-ghc-0.0.2 failed during the building phase. The exception was:
ExitFailure 1