Resolving dependencies... cabal: Entering directory '/tmp/cabal-tmp-2264/Safe-0.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-2264/Safe-0.1/dist/setup/setup.hs, /tmp/cabal-tmp-2264/Safe-0.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-2264/Safe-0.1/dist/setup/setup ... Configuring Safe-0.1... Warning: No 'build-type' specified. If you do not need a custom Setup.hs or ./configure script then use 'build-type: Simple'. Building Safe-0.1... Preprocessing library Safe-0.1... [1 of 1] Compiling Safe ( Safe.hs, dist/build/Safe.o ) Running Haddock for Safe-0.1... Running hscolour for Safe-0.1... Preprocessing library Safe-0.1... Preprocessing library Safe-0.1... Haddock coverage: 22% ( 9 / 41) in 'Safe' Missing documentation for: initDef (Safe.hs:99) initMay (Safe.hs:102) initNote (Safe.hs:105) initSafe (Safe.hs:108) headDef (Safe.hs:113) headMay (Safe.hs:116) headNote (Safe.hs:119) lastDef (Safe.hs:123) lastMay (Safe.hs:126) lastNote (Safe.hs:129) minimumDef (Safe.hs:134) minimumMay (Safe.hs:137) minimumNote (Safe.hs:140) maximumDef (Safe.hs:144) maximumMay (Safe.hs:147) maximumNote (Safe.hs:150) foldr1Def (Safe.hs:155) foldr1May (Safe.hs:158) foldr1Note (Safe.hs:161) foldl1Def (Safe.hs:165) foldl1May (Safe.hs:168) foldl1Note (Safe.hs:171) fromJustNote (Safe.hs:179) assertNote (Safe.hs:184) atDef (Safe.hs:194) atMay (Safe.hs:197) atNote (Safe.hs:203) readDef (Safe.hs:213) readMay (Safe.hs:216) readNote (Safe.hs:221) lookupJustDef (Safe.hs:236) lookupJustNote (Safe.hs:239) Documentation created: dist/doc/html/Safe/index.html, dist/doc/html/Safe/Safe.txt Creating package registration file: /tmp/pkgConf-Safe-010252023621350490027.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/Safe-0.1-oPVhSQUkBfFgRgEuevbbf Registering Safe-0.1... cabal: Leaving directory '/tmp/cabal-tmp-2264/Safe-0.1' Installed Safe-0.1 cabal: Entering directory '/tmp/cabal-tmp-2264/mtl-2.2.1' Configuring mtl-2.2.1... Building mtl-2.2.1... Preprocessing library mtl-2.2.1... [ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 3 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [ 4 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [ 5 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [ 6 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 7 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [ 8 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [ 9 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [10 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [11 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [12 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [13 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [14 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [15 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [16 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [17 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [18 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [19 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o ) [20 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [21 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) Running Haddock for mtl-2.2.1... Running hscolour for mtl-2.2.1... Preprocessing library mtl-2.2.1... Preprocessing library mtl-2.2.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 100% ( 3 / 3) in 'Control.Monad.Trans' 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) runWriterT 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 100% ( 5 / 5) in 'Control.Monad.State.Class' 96% ( 24 / 25) in 'Control.Monad.State.Lazy' Missing documentation for: runStateT 96% ( 24 / 25) in 'Control.Monad.State.Strict' Missing documentation for: runStateT 100% ( 2 / 2) in 'Control.Monad.State' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 96% ( 22 / 23) in 'Control.Monad.Reader' Missing documentation for: runReaderT 80% ( 4 / 5) in 'Control.Monad.RWS.Class' Missing documentation for: MonadRWS (Control/Monad/RWS/Class.hs:44) 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' Missing documentation for: runRWST 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' Missing documentation for: runRWST 100% ( 2 / 2) in 'Control.Monad.RWS' 100% ( 5 / 5) in 'Control.Monad.List' 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 100% ( 19 / 19) in 'Control.Monad.Except' 93% ( 14 / 15) in 'Control.Monad.Error' Missing documentation for: runErrorT 50% ( 1 / 2) in 'Control.Monad.Cont.Class' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) 91% ( 20 / 22) in 'Control.Monad.Cont' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) runContT Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.213691330691125898167.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM Registering mtl-2.2.1... cabal: Leaving directory '/tmp/cabal-tmp-2264/mtl-2.2.1' Installed mtl-2.2.1 cabal: Entering directory '/tmp/cabal-tmp-2264/random-1.1' Configuring random-1.1... Building random-1.1... Preprocessing library random-1.1... [1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o ) System/Random.hs:43:1: warning: [-Wtabs] Tab character found here, and in 74 further locations. Please use spaces instead. Running Haddock for random-1.1... Running hscolour for random-1.1... Preprocessing library random-1.1... Preprocessing library random-1.1... System/Random.hs:43:1: warning: [-Wtabs] Tab character found here, and in 74 further locations. Please use spaces instead. Haddock coverage: Cannot find documentation for: $intro 100% ( 16 / 16) in 'System.Random' Documentation created: dist/doc/html/random/index.html, dist/doc/html/random/random.txt Creating package registration file: /tmp/pkgConf-random-11046741222337739299.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/random-1.1-54KmMHXjttlERYcr1mvsAe Registering random-1.1... cabal: Leaving directory '/tmp/cabal-tmp-2264/random-1.1' Installed random-1.1 cabal: Entering directory '/tmp/cabal-tmp-2264/stm-2.4.4.1' Configuring stm-2.4.4.1... Building stm-2.4.4.1... Preprocessing library stm-2.4.4.1... [ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o ) [ 2 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o ) [ 3 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o ) [ 4 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.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.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o ) [ 7 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o ) [ 8 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.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 ) Running Haddock for stm-2.4.4.1... Running hscolour for stm-2.4.4.1... Preprocessing library stm-2.4.4.1... Preprocessing library stm-2.4.4.1... Haddock coverage: 0% ( 0 / 11) in 'Control.Sequential.STM' Missing documentation for: Module header STM (Control/Sequential/STM.hs:29) atomically (Control/Sequential/STM.hs:47) throwSTM (Control/Sequential/STM.hs:54) catchSTM (Control/Sequential/STM.hs:57) TVar (Control/Sequential/STM.hs:72) newTVar (Control/Sequential/STM.hs:75) newTVarIO (Control/Sequential/STM.hs:78) readTVar (Control/Sequential/STM.hs:83) readTVarIO (Control/Sequential/STM.hs:86) writeTVar (Control/Sequential/STM.hs:89) 90% ( 9 / 10) in 'Control.Monad.STM' Missing documentation for: check (Control/Monad/STM.hs:81) 100% ( 13 / 13) in 'Control.Concurrent.STM.TVar' 100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue' 100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar' 100% ( 18 / 18) in 'Control.Concurrent.STM.TChan' 100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue' 100% ( 2 / 2) in 'Control.Concurrent.STM.TArray' 100% ( 8 / 8) in 'Control.Concurrent.STM' 40% ( 2 / 5) in 'Control.Concurrent.STM.TSem' Missing documentation for: newTSem (Control/Concurrent/STM/TSem.hs:42) waitTSem (Control/Concurrent/STM/TSem.hs:45) signalTSem (Control/Concurrent/STM/TSem.hs:51) Warning: Control.Monad.STM: could not find link destinations for: getNumElements unsafeNewArray_ unsafeRead unsafeWrite Warning: Control.Concurrent.STM.TArray: could not find link destinations for: getNumElements unsafeNewArray_ unsafeRead unsafeWrite Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt Creating package registration file: /tmp/pkgConf-stm-2.4.41983690368364319529.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/stm-2.4.4.1-4z2NRWnB0NIIUvSJsHW0kF Registering stm-2.4.4.1... cabal: Leaving directory '/tmp/cabal-tmp-2264/stm-2.4.4.1' Installed stm-2.4.4.1 cabal: Entering directory '/tmp/cabal-tmp-2264/transformers-compat-0.5.1.4' Configuring transformers-compat-0.5.1.4... Building transformers-compat-0.5.1.4... Preprocessing library transformers-compat-0.5.1.4... [1 of 2] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o ) [2 of 2] Compiling Control.Monad.Trans.Instances ( src/Control/Monad/Trans/Instances.hs, dist/build/Control/Monad/Trans/Instances.o ) Running Haddock for transformers-compat-0.5.1.4... Running hscolour for transformers-compat-0.5.1.4... Preprocessing library transformers-compat-0.5.1.4... Preprocessing library transformers-compat-0.5.1.4... Haddock coverage: 0% ( 0 / 8) in 'Paths_transformers_compat' Missing documentation for: Module header version (dist/build/autogen/Paths_transformers_compat.hs:28) getBinDir (dist/build/autogen/Paths_transformers_compat.hs:38) getLibDir (dist/build/autogen/Paths_transformers_compat.hs:38) getDataDir (dist/build/autogen/Paths_transformers_compat.hs:38) getLibexecDir (dist/build/autogen/Paths_transformers_compat.hs:38) getDataFileName (dist/build/autogen/Paths_transformers_compat.hs:45) getSysconfDir (dist/build/autogen/Paths_transformers_compat.hs:38) 100% ( 1 / 1) in 'Control.Monad.Trans.Instances' Documentation created: dist/doc/html/transformers-compat/index.html, dist/doc/html/transformers-compat/transformers-compat.txt Creating package registration file: /tmp/pkgConf-transformers-compat-0.5.110251258492137100237.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/transformers-compat-0.5.1.4-G5tKvPrwhggJRvSwXNMs1N Registering transformers-compat-0.5.1.4... cabal: Leaving directory '/tmp/cabal-tmp-2264/transformers-compat-0.5.1.4' Installed transformers-compat-0.5.1.4 cabal: Entering directory '/tmp/cabal-tmp-2264/async-2.1.0' Configuring async-2.1.0... Building async-2.1.0... Preprocessing library async-2.1.0... [1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o ) Running Haddock for async-2.1.0... Running hscolour for async-2.1.0... Preprocessing library async-2.1.0... Preprocessing library async-2.1.0... Haddock coverage: 100% ( 54 / 54) in 'Control.Concurrent.Async' Documentation created: dist/doc/html/async/index.html, dist/doc/html/async/async.txt Creating package registration file: /tmp/pkgConf-async-2.113722617962073785404.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/async-2.1.0-J6Pl8k3L4PKGEpjYdgwiIf Registering async-2.1.0... cabal: Leaving directory '/tmp/cabal-tmp-2264/async-2.1.0' Installed async-2.1.0 cabal: Entering directory '/tmp/cabal-tmp-2264/MonadRandom-0.4.2.3' Configuring MonadRandom-0.4.2.3... Building MonadRandom-0.4.2.3... Preprocessing library MonadRandom-0.4.2.3... [1 of 2] Compiling Control.Monad.Random.Class ( Control/Monad/Random/Class.hs, dist/build/Control/Monad/Random/Class.o ) [2 of 2] Compiling Control.Monad.Random ( Control/Monad/Random.hs, dist/build/Control/Monad/Random.o ) Control/Monad/Random.hs:54:1: warning: [-Wdeprecations] Module ‘Control.Monad.Error’ is deprecated: Use Control.Monad.Except instead Control/Monad/Random.hs:206:11: warning: [-Wdeprecations] In the use of type constructor or class ‘Error’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Random.hs:206:51: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Random.hs:251:11: warning: [-Wdeprecations] In the use of type constructor or class ‘Error’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Random.hs:251:53: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Running Haddock for MonadRandom-0.4.2.3... Running hscolour for MonadRandom-0.4.2.3... Preprocessing library MonadRandom-0.4.2.3... Preprocessing library MonadRandom-0.4.2.3... Control/Monad/Random.hs:54:1: warning: [-Wdeprecations] Module ‘Control.Monad.Error’ is deprecated: Use Control.Monad.Except instead Control/Monad/Random.hs:206:11: warning: [-Wdeprecations] In the use of type constructor or class ‘Error’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Random.hs:206:51: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Random.hs:251:11: warning: [-Wdeprecations] In the use of type constructor or class ‘Error’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Control/Monad/Random.hs:251:53: warning: [-Wdeprecations] In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Haddock coverage: 88% ( 7 / 8) in 'Control.Monad.Random.Class' Missing documentation for: getSplit (Control/Monad/Random/Class.hs:49) 100% ( 17 / 17) in 'Control.Monad.Random' Documentation created: dist/doc/html/MonadRandom/index.html, dist/doc/html/MonadRandom/MonadRandom.txt Creating package registration file: /tmp/pkgConf-MonadRandom-0.4.21615935710639806732.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/MonadRandom-0.4.2.3-BeY4MXl2TWH5X5ex76pU0B Registering MonadRandom-0.4.2.3... cabal: Leaving directory '/tmp/cabal-tmp-2264/MonadRandom-0.4.2.3' Installed MonadRandom-0.4.2.3 cabal: Entering directory '/tmp/cabal-tmp-2264/minisat-0.1.2' Configuring minisat-0.1.2... Building minisat-0.1.2... Preprocessing library minisat-0.1.2... [1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o ) Running Haddock for minisat-0.1.2... Running hscolour for minisat-0.1.2... Preprocessing library minisat-0.1.2... Preprocessing library minisat-0.1.2... Haddock coverage: 1% ( 1 / 70) in 'MiniSat' Missing documentation for: Module header withNewSolver (minisat-haskell-bindings/MiniSat.hsc:23) newSolver (minisat-haskell-bindings/MiniSat.hsc:28) deleteSolver (minisat-haskell-bindings/MiniSat.hsc:34) newLit (minisat-haskell-bindings/MiniSat.hsc:37) neg (minisat-haskell-bindings/MiniSat.hsc:40) addClause (minisat-haskell-bindings/MiniSat.hsc:43) simplify (minisat-haskell-bindings/MiniSat.hsc:49) eliminate (minisat-haskell-bindings/MiniSat.hsc:52) setFrozen (minisat-haskell-bindings/MiniSat.hsc:55) isEliminated (minisat-haskell-bindings/MiniSat.hsc:58) solve (minisat-haskell-bindings/MiniSat.hsc:65) limited_solve (minisat-haskell-bindings/MiniSat.hsc:71) value (minisat-haskell-bindings/MiniSat.hsc:77) modelValue (minisat-haskell-bindings/MiniSat.hsc:77) conflict (minisat-haskell-bindings/MiniSat.hsc:87) l_True (minisat-haskell-bindings/MiniSat.hsc:93) l_False (minisat-haskell-bindings/MiniSat.hsc:93) l_Undef (minisat-haskell-bindings/MiniSat.hsc:93) Solver (minisat-haskell-bindings/MiniSat.hsc:100) Var (minisat-haskell-bindings/MiniSat.hsc:101) Lit (minisat-haskell-bindings/MiniSat.hsc:102) LBool (minisat-haskell-bindings/MiniSat.hsc:103) (minisat-haskell-bindings/MiniSat.hsc:105) (minisat-haskell-bindings/MiniSat.hsc:108) (minisat-haskell-bindings/MiniSat.hsc:111) minisat_new (minisat-haskell-bindings/MiniSat.hsc:130) minisat_delete (minisat-haskell-bindings/MiniSat.hsc:131) minisat_newVar (minisat-haskell-bindings/MiniSat.hsc:132) minisat_newLit (minisat-haskell-bindings/MiniSat.hsc:133) minisat_mkLit (minisat-haskell-bindings/MiniSat.hsc:134) minisat_mkLit_args (minisat-haskell-bindings/MiniSat.hsc:135) minisat_negate (minisat-haskell-bindings/MiniSat.hsc:136) minisat_var (minisat-haskell-bindings/MiniSat.hsc:137) minisat_sign (minisat-haskell-bindings/MiniSat.hsc:138) minisat_addClause (minisat-haskell-bindings/MiniSat.hsc:139) minisat_addClause_begin (minisat-haskell-bindings/MiniSat.hsc:140) minisat_addClause_addLit (minisat-haskell-bindings/MiniSat.hsc:141) minisat_addClause_commit (minisat-haskell-bindings/MiniSat.hsc:142) minisat_simplify (minisat-haskell-bindings/MiniSat.hsc:143) minisat_solve (minisat-haskell-bindings/MiniSat.hsc:144) minisat_solve_begin (minisat-haskell-bindings/MiniSat.hsc:145) minisat_solve_addLit (minisat-haskell-bindings/MiniSat.hsc:146) minisat_solve_commit (minisat-haskell-bindings/MiniSat.hsc:147) minisat_limited_solve_commit (minisat-haskell-bindings/MiniSat.hsc:148) minisat_interrupt (minisat-haskell-bindings/MiniSat.hsc:150) minisat_clearInterrupt (minisat-haskell-bindings/MiniSat.hsc:151) minisat_okay (minisat-haskell-bindings/MiniSat.hsc:153) minisat_setPolarity (minisat-haskell-bindings/MiniSat.hsc:154) minisat_setDecisionVar (minisat-haskell-bindings/MiniSat.hsc:155) minisat_value_Var (minisat-haskell-bindings/MiniSat.hsc:156) minisat_value_Lit (minisat-haskell-bindings/MiniSat.hsc:157) minisat_modelValue_Var (minisat-haskell-bindings/MiniSat.hsc:158) minisat_modelValue_Lit (minisat-haskell-bindings/MiniSat.hsc:159) minisat_get_l_True (minisat-haskell-bindings/MiniSat.hsc:161) minisat_get_l_False (minisat-haskell-bindings/MiniSat.hsc:162) minisat_get_l_Undef (minisat-haskell-bindings/MiniSat.hsc:163) minisat_setFrozen (minisat-haskell-bindings/MiniSat.hsc:166) minisat_isEliminated (minisat-haskell-bindings/MiniSat.hsc:167) minisat_eliminate (minisat-haskell-bindings/MiniSat.hsc:168) minisat_num_assigns (minisat-haskell-bindings/MiniSat.hsc:170) minisat_num_clauses (minisat-haskell-bindings/MiniSat.hsc:171) minisat_num_learnts (minisat-haskell-bindings/MiniSat.hsc:172) minisat_num_vars (minisat-haskell-bindings/MiniSat.hsc:173) minisat_num_freeVars (minisat-haskell-bindings/MiniSat.hsc:174) minisat_num_conflicts (minisat-haskell-bindings/MiniSat.hsc:175) minisat_conflict_len (minisat-haskell-bindings/MiniSat.hsc:177) minisat_conflict_nthLit (minisat-haskell-bindings/MiniSat.hsc:178) minisat_set_verbosity (minisat-haskell-bindings/MiniSat.hsc:179) Documentation created: dist/doc/html/minisat/index.html, dist/doc/html/minisat/minisat.txt Creating package registration file: /tmp/pkgConf-minisat-0.117612505731089653714.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/minisat-0.1.2-8ClStztrIv94purKvLDw2K Registering minisat-0.1.2... cabal: Leaving directory '/tmp/cabal-tmp-2264/minisat-0.1.2' Installed minisat-0.1.2 cabal: Entering directory '/tmp/cabal-tmp-2264/random-shuffle-0.0.4' Configuring random-shuffle-0.0.4... Building random-shuffle-0.0.4... Preprocessing library random-shuffle-0.0.4... [1 of 1] Compiling System.Random.Shuffle ( src/System/Random/Shuffle.hs, dist/build/System/Random/Shuffle.o ) src/System/Random/Shuffle.hs:59:1: warning: [-Wtabs] Tab character found here, and in 10 further locations. Please use spaces instead. Running Haddock for random-shuffle-0.0.4... Running hscolour for random-shuffle-0.0.4... Preprocessing library random-shuffle-0.0.4... Preprocessing library random-shuffle-0.0.4... src/System/Random/Shuffle.hs:59:1: warning: [-Wtabs] Tab character found here, and in 10 further locations. Please use spaces instead. Haddock coverage: 100% ( 4 / 4) in 'System.Random.Shuffle' Documentation created: dist/doc/html/random-shuffle/index.html, dist/doc/html/random-shuffle/random-shuffle.txt Creating package registration file: /tmp/pkgConf-random-shuffle-0.0857490000454333378.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20161018/random-shuffle-0.0.4-4HPj3K38ghl6zBNCA2I5Iy Registering random-shuffle-0.0.4... cabal: Leaving directory '/tmp/cabal-tmp-2264/random-shuffle-0.0.4' Installed random-shuffle-0.0.4 cabal: Entering directory '/tmp/cabal-tmp-2264/abc-puzzle-0.2.1' Configuring abc-puzzle-0.2.1... Building abc-puzzle-0.2.1... Preprocessing executable 'abc-puzzle' for abc-puzzle-0.2.1... [1 of 1] Compiling Main ( src/Main.hs, dist/build/abc-puzzle/abc-puzzle-tmp/Main.o ) Linking dist/build/abc-puzzle/abc-puzzle ... Warning: No documentation was generated as this package does not contain a library. Perhaps you want to use the --executables, --tests or --benchmarks flags. Installing executable(s) in /home/builder/hackage-server/build-cache/tmp-install/bin Warning: The directory /home/builder/hackage-server/build-cache/tmp-install/bin is not in the system search path. cabal: Leaving directory '/tmp/cabal-tmp-2264/abc-puzzle-0.2.1' Installed abc-puzzle-0.2.1