Build #10 for abc-puzzle-0.2.1

[all reports]

Package abc-puzzle-0.2.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-10-26 14:44:47.825388 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies Safe-0.1, array-0.5.1.1, base-4.9.0.0, minisat-0.1.2, random-1.1, random-shuffle-0.0.4
Flags none

Build log

[view raw]

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