Resolving dependencies...
cabal: Entering directory '/tmp/cabal-tmp-23653/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.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.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% (  5 /  5) in 'Control.Monad.State.Class'
 100% (  3 /  3) in 'Control.Monad.Reader.Class'
  80% (  4 /  5) in 'Control.Monad.RWS.Class'
  Missing documentation for:
    MonadRWS (Control/Monad/RWS/Class.hs:44)
 100% (  4 /  4) in 'Control.Monad.Identity'
 100% (  3 /  3) in 'Control.Monad.Error.Class'
  50% (  1 /  2) in 'Control.Monad.Cont.Class'
  Missing documentation for:
    MonadCont (Control/Monad/Cont/Class.hs:73)
 100% (  3 /  3) in 'Control.Monad.Trans'
  93% ( 14 / 15) in 'Control.Monad.Error'
  Missing documentation for:
    runErrorT
 100% ( 19 / 19) in 'Control.Monad.Except'
 100% (  5 /  5) in 'Control.Monad.List'
  95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
  Missing documentation for:
    runRWST
 100% (  2 /  2) in 'Control.Monad.RWS'
  96% ( 22 / 23) in 'Control.Monad.Reader'
  Missing documentation for:
    runReaderT
  95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
  Missing documentation for:
    runRWST
  96% ( 24 / 25) in 'Control.Monad.State.Lazy'
  Missing documentation for:
    runStateT
 100% (  2 /  2) in 'Control.Monad.State'
  96% ( 24 / 25) in 'Control.Monad.State.Strict'
  Missing documentation for:
    runStateT
  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)
  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.22145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM
Registering mtl-2.2.1...
cabal: Leaving directory '/tmp/cabal-tmp-23653/mtl-2.2.1'
Installed mtl-2.2.1
cabal: Entering directory '/tmp/cabal-tmp-23653/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-11253207672570073850.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/random-1.1-54KmMHXjttlERYcr1mvsAe
Registering random-1.1...
cabal: Leaving directory '/tmp/cabal-tmp-23653/random-1.1'
Installed random-1.1
Downloading obdd-0.3.3...
cabal: Entering directory '/tmp/cabal-tmp-23653/obdd-0.3.3'
Configuring obdd-0.3.3...
Building obdd-0.3.3...
Preprocessing library obdd-0.3.3...
[1 of 7] Compiling OBDD.IntIntMap   ( src/OBDD/IntIntMap.hs, dist/build/OBDD/IntIntMap.o )
[2 of 7] Compiling OBDD.VarIntIntMap ( src/OBDD/VarIntIntMap.hs, dist/build/OBDD/VarIntIntMap.o )
[3 of 7] Compiling OBDD.Data        ( src/OBDD/Data.hs, dist/build/OBDD/Data.o )
[4 of 7] Compiling OBDD.Make        ( src/OBDD/Make.hs, dist/build/OBDD/Make.o )
[5 of 7] Compiling OBDD.Operation   ( src/OBDD/Operation.hs, dist/build/OBDD/Operation.o )
[6 of 7] Compiling OBDD.Property    ( src/OBDD/Property.hs, dist/build/OBDD/Property.o )
[7 of 7] Compiling OBDD             ( src/OBDD.hs, dist/build/OBDD.o )
Running Haddock for obdd-0.3.3...
Running hscolour for obdd-0.3.3...
Preprocessing library obdd-0.3.3...
Preprocessing library obdd-0.3.3...
Haddock coverage:
   0% (  0 /  6) in 'OBDD.IntIntMap'
  Missing documentation for:
    Module header
    IntIntMap (src/OBDD/IntIntMap.hs:14)
    empty (src/OBDD/IntIntMap.hs:16)
    lookup (src/OBDD/IntIntMap.hs:21)
    insert (src/OBDD/IntIntMap.hs:25)
    singleton (src/OBDD/IntIntMap.hs:18)
   0% (  0 /  5) in 'OBDD.VarIntIntMap'
  Missing documentation for:
    Module header
    VarIntIntMap (src/OBDD/VarIntIntMap.hs:8)
    empty (src/OBDD/VarIntIntMap.hs:11)
    lookup (src/OBDD/VarIntIntMap.hs:13)
    insert (src/OBDD/VarIntIntMap.hs:17)
  52% ( 11 / 21) in 'OBDD.Data'
  Missing documentation for:
    size (src/OBDD/Data.hs:115)
    fold (src/OBDD/Data.hs:78)
    foldM (src/OBDD/Data.hs:95)
    Node (src/OBDD/Data.hs:152)
    make (src/OBDD/Data.hs:218)
    register (src/OBDD/Data.hs:246)
    checked_register (src/OBDD/Data.hs:266)
    cached (src/OBDD/Data.hs:231)
    top (src/OBDD/Data.hs:71)
    access (src/OBDD/Data.hs:156)
  67% (  2 /  3) in 'OBDD.Make'
  Missing documentation for:
    constant (src/OBDD/Make.hs:14)
  31% (  4 / 13) in 'OBDD.Operation'
  Missing documentation for:
    Module header
    && (src/OBDD/Operation.hs:29)
    || (src/OBDD/Operation.hs:32)
    and (src/OBDD/Operation.hs:37)
    or (src/OBDD/Operation.hs:43)
    unary (src/OBDD/Operation.hs:65)
    binary (src/OBDD/Operation.hs:78)
    fold (src/OBDD/Data.hs:78)
    foldM (src/OBDD/Data.hs:95)
  71% (  5 /  7) in 'OBDD.Property'
  Missing documentation for:
    Module header
    size (src/OBDD/Data.hs:115)
 100% (  5 /  5) in 'OBDD'
Warning: OBDD.Data: could not find link destinations for:
    Index
Documentation created: dist/doc/html/obdd/index.html,
dist/doc/html/obdd/obdd.txt
Creating package registration file: /tmp/pkgConf-obdd-0.31034514500484238046.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/obdd-0.3.3-HLNtv6f7KlwDbGHCy6rSOC
Registering obdd-0.3.3...
cabal: Leaving directory '/tmp/cabal-tmp-23653/obdd-0.3.3'
Installed obdd-0.3.3