Resolving dependencies... Configuring stm-2.4.4... Building stm-2.4.4... Preprocessing library stm-2.4.4... [ 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.4... Running Haddock for stm-2.4.4... Running hscolour for stm-2.4.4... Preprocessing library stm-2.4.4... Preprocessing library stm-2.4.4... 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% ( 16 / 16) 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 Creating package registration file: /tmp/pkgConf-stm-2.429220.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/stm-2.4.4 Registering stm-2.4.4... Installed stm-2.4.4 Configuring text-1.2.1.1... Building text-1.2.1.1... Preprocessing library text-1.2.1.1... [ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o ) [ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o ) [ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o ) [ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o ) [ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o ) [ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o ) [ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o ) [ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o ) [ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o ) [10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o ) [11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o ) [12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o ) [13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o ) [14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o ) [15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o ) [16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o ) [17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o ) [18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o ) [19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o ) [20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o ) [21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o ) [22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o ) [23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o ) [24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o ) [25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o ) [26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o ) [27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o ) [28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o ) [29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o ) [30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o ) [31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o ) [32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o ) [33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o ) [34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o ) [35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o ) [36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o ) [37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o ) [38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o ) [39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o ) [40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o ) [41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o ) [42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o ) [43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o ) [44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o ) In-place registering text-1.2.1.1... Running Haddock for text-1.2.1.1... Running hscolour for text-1.2.1.1... Preprocessing library text-1.2.1.1... Preprocessing library text-1.2.1.1... Haddock coverage: 14% ( 1 / 7) in 'Data.Text.Internal.Read' 50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32' 50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions' 0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits' 100% ( 12 / 12) in 'Data.Text.Encoding.Error' 100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift' 25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16' 100% ( 2 / 2) in 'Data.Text.Internal.Functions' 100% ( 3 / 3) in 'Data.Text.Internal.Unsafe' 100% ( 16 / 16) in 'Data.Text.Array' 33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char' 95% ( 19 / 20) in 'Data.Text.Internal' 38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size' 88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types' 0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping' 89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common' 93% ( 13 / 14) in 'Data.Text.Unsafe' 33% ( 1 / 3) in 'Data.Text.Internal.Private' 91% ( 20 / 22) in 'Data.Text.Internal.Fusion' 100% ( 4 / 4) in 'Data.Text.Show' 33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common' 17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8' 91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion' 100% ( 33 / 33) in 'Data.Text.Encoding' 100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion' 100% ( 2 / 2) in 'Data.Text.Internal.Search' 100% ( 18 / 18) in 'Data.Text.Foreign' 100% (126 /126) in 'Data.Text' 100% ( 3 / 3) in 'Data.Text.Internal.IO' 100% ( 20 / 20) in 'Data.Text.IO' 93% ( 14 / 15) in 'Data.Text.Internal.Lazy' 100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion' 100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search' 100% ( 2 / 2) in 'Data.Text.Lazy.Internal' 89% ( 24 / 27) in 'Data.Text.Lazy.Encoding' 99% (127 /128) in 'Data.Text.Lazy' 94% ( 16 / 17) in 'Data.Text.Internal.Builder' 100% ( 12 / 12) in 'Data.Text.Lazy.Builder' 100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions' 0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int' 100% ( 19 / 19) in 'Data.Text.Lazy.IO' 100% ( 7 / 7) in 'Data.Text.Lazy.Read' 75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat' 100% ( 7 / 7) in 'Data.Text.Read' Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for: Data.Text.Internal.Fusion.Common.findIndicesI Warning: Data.Text.Unsafe: could not find link destinations for: GHC.IO.bracket Warning: Data.Text: could not find link destinations for: Data.Text.replicateChar Data.Text.countChar Warning: Data.Text.Internal.IO: could not find link destinations for: GHC.IO.Handle.Types.Handle__ Warning: Data.Text.Lazy: could not find link destinations for: Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar Warning: Data.Text.Internal.Builder: could not find link destinations for: Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for: Data.Text.Lazy.Builder.RealFloat.floatToDigits Documentation created: dist/doc/html/text/index.html, dist/doc/html/text/text.txt Creating package registration file: /tmp/pkgConf-text-1.2.129220.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.1.1 Registering text-1.2.1.1... Installed text-1.2.1.1 Configuring transformers-0.4.3.0... Building transformers-0.4.3.0... Preprocessing library transformers-0.4.3.0... [ 1 of 28] Compiling Data.Functor.Identity ( oldsrc/Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o ) [ 2 of 28] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o ) [ 3 of 28] Compiling Control.Monad.Signatures ( Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o ) [ 4 of 28] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o ) [ 5 of 28] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o ) [ 6 of 28] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o ) [ 7 of 28] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o ) [ 8 of 28] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o ) [ 9 of 28] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o ) [10 of 28] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o ) [11 of 28] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o ) [12 of 28] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o ) [13 of 28] Compiling Data.Functor.Classes ( Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o ) [14 of 28] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o ) [15 of 28] Compiling Control.Applicative.Lift ( Control/Applicative/Lift.hs, dist/build/Control/Applicative/Lift.o ) [16 of 28] Compiling Control.Monad.Trans.Except ( Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o ) [17 of 28] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o ) [18 of 28] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o ) [19 of 28] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o ) [20 of 28] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o ) [21 of 28] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o ) [22 of 28] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o ) [23 of 28] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o ) [24 of 28] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o ) [25 of 28] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o ) [26 of 28] Compiling Data.Functor.Sum ( Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o ) [27 of 28] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o ) [28 of 28] Compiling Data.Functor.Reverse ( Data/Functor/Reverse.hs, dist/build/Data/Functor/Reverse.o ) In-place registering transformers-0.4.3.0... Running Haddock for transformers-0.4.3.0... Running hscolour for transformers-0.4.3.0... Preprocessing library transformers-0.4.3.0... Preprocessing library transformers-0.4.3.0... Haddock coverage: 100% ( 2 / 2) in 'Data.Functor.Identity' 100% ( 14 / 14) in 'Control.Monad.Trans.Class' 100% ( 5 / 5) in 'Control.Monad.Signatures' 100% ( 2 / 2) in 'Control.Monad.IO.Class' 100% ( 22 / 22) in 'Control.Monad.Trans.Cont' 100% ( 18 / 18) in 'Control.Monad.Trans.Reader' 100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Lazy' 100% ( 2 / 2) in 'Control.Monad.Trans.RWS' 100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Strict' 100% ( 34 / 34) in 'Control.Monad.Trans.State.Lazy' 100% ( 2 / 2) in 'Control.Monad.Trans.State' 100% ( 34 / 34) in 'Control.Monad.Trans.State.Strict' 100% ( 15 / 15) in 'Data.Functor.Classes' 100% ( 2 / 2) in 'Data.Functor.Constant' 100% ( 9 / 9) in 'Control.Applicative.Lift' 100% ( 19 / 19) in 'Control.Monad.Trans.Except' 100% ( 15 / 15) in 'Control.Monad.Trans.Error' 100% ( 7 / 7) in 'Control.Monad.Trans.Identity' 100% ( 7 / 7) in 'Control.Monad.Trans.List' 100% ( 12 / 12) in 'Control.Monad.Trans.Maybe' 100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Lazy' 100% ( 2 / 2) in 'Control.Monad.Trans.Writer' 100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Strict' 100% ( 2 / 2) in 'Data.Functor.Compose' 100% ( 2 / 2) in 'Data.Functor.Product' 100% ( 2 / 2) in 'Data.Functor.Sum' 100% ( 2 / 2) in 'Control.Applicative.Backwards' 100% ( 2 / 2) in 'Data.Functor.Reverse' Documentation created: dist/doc/html/transformers/index.html, dist/doc/html/transformers/transformers.txt Creating package registration file: /tmp/pkgConf-transformers-0.4.329220.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.4.3.0 Registering transformers-0.4.3.0... Installed transformers-0.4.3.0 Configuring async-2.0.2... Building async-2.0.2... Preprocessing library async-2.0.2... [1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, dist/build/Control/Concurrent/Async.o ) In-place registering async-2.0.2... Running Haddock for async-2.0.2... Running hscolour for async-2.0.2... Preprocessing library async-2.0.2... Preprocessing library async-2.0.2... Haddock coverage: 100% ( 46 / 46) 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.029220.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/async-2.0.2 Registering async-2.0.2... Installed async-2.0.2 Configuring hashable-1.2.3.3... Building hashable-1.2.3.3... Preprocessing library hashable-1.2.3.3... [1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o ) Data/Hashable/Class.hs:218:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:241:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" [2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o ) Data/Hashable/Generic.hs:20:1: Warning: The import of ‘Bits’ from module ‘Data.Bits’ is redundant [3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o ) In-place registering hashable-1.2.3.3... Running Haddock for hashable-1.2.3.3... Running hscolour for hashable-1.2.3.3... Preprocessing library hashable-1.2.3.3... Preprocessing library hashable-1.2.3.3... Data/Hashable/Class.hs:218:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Class.hs:241:11: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Data/Hashable/Generic.hs:20:1: Warning: The import of ‘Bits’ from module ‘Data.Bits’ is redundant Haddock coverage: 100% ( 11 / 11) in 'Data.Hashable.Class' 100% ( 1 / 1) in 'Data.Hashable.Generic' 100% ( 22 / 22) in 'Data.Hashable' Warning: Data.Hashable: could not find link destinations for: Data.Hashable.Class.GHashable Documentation created: dist/doc/html/hashable/index.html, dist/doc/html/hashable/hashable.txt Creating package registration file: /tmp/pkgConf-hashable-1.2.329220.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/hashable-1.2.3.3 Registering hashable-1.2.3.3... Installed hashable-1.2.3.3 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 ) In-place registering mtl-2.2.1... 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' 100% ( 5 / 5) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' 100% ( 3 / 3) in 'Control.Monad.Trans' 93% ( 14 / 15) in 'Control.Monad.Error' 100% ( 19 / 19) in 'Control.Monad.Except' 100% ( 5 / 5) in 'Control.Monad.List' 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' 100% ( 2 / 2) in 'Control.Monad.RWS' 96% ( 22 / 23) in 'Control.Monad.Reader' 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' 96% ( 24 / 25) in 'Control.Monad.State.Lazy' 100% ( 2 / 2) in 'Control.Monad.State' 96% ( 24 / 25) in 'Control.Monad.State.Strict' 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' 91% ( 20 / 22) in 'Control.Monad.Cont' Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.229220.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.2.1 Registering mtl-2.2.1... Installed mtl-2.2.1 Configuring minisat-0.1.1... Building minisat-0.1.1... Preprocessing library minisat-0.1.1... [1 of 1] Compiling MiniSat ( dist/build/MiniSat.hs, dist/build/MiniSat.o ) In-place registering minisat-0.1.1... Running Haddock for minisat-0.1.1... Running hscolour for minisat-0.1.1... Preprocessing library minisat-0.1.1... Preprocessing library minisat-0.1.1... Haddock coverage: 1% ( 1 / 70) in 'MiniSat' Documentation created: dist/doc/html/minisat/index.html, dist/doc/html/minisat/minisat.txt Creating package registration file: /tmp/pkgConf-minisat-0.129220.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/minisat-0.1.1 Registering minisat-0.1.1... Installed minisat-0.1.1 Configuring unordered-containers-0.2.5.1... Building unordered-containers-0.2.5.1... Preprocessing library unordered-containers-0.2.5.1... [1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o ) [2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o ) [3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o ) [4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o ) [5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o ) [6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o ) [7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o ) [8 of 8] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o ) In-place registering unordered-containers-0.2.5.1... Running Haddock for unordered-containers-0.2.5.1... Running hscolour for unordered-containers-0.2.5.1... Preprocessing library unordered-containers-0.2.5.1... Preprocessing library unordered-containers-0.2.5.1... Haddock coverage: 0% ( 0 / 3) in 'Data.HashMap.UnsafeShift' 50% ( 1 / 2) in 'Data.HashMap.PopCount' 100% ( 2 / 2) in 'Data.HashMap.Unsafe' 38% ( 14 / 37) in 'Data.HashMap.Array' 87% ( 54 / 62) in 'Data.HashMap.Base' 100% ( 46 / 46) in 'Data.HashMap.Strict' 100% ( 46 / 46) in 'Data.HashMap.Lazy' 100% ( 27 / 27) in 'Data.HashSet' Documentation created: dist/doc/html/unordered-containers/index.html, dist/doc/html/unordered-containers/unordered-containers.txt Creating package registration file: /tmp/pkgConf-unordered-containers-0.2.529220.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/unordered-containers-0.2.5.1 Registering unordered-containers-0.2.5.1... Installed unordered-containers-0.2.5.1 Downloading jukebox-0.1.4... Configuring jukebox-0.1.4... Building jukebox-0.1.4... Preprocessing library jukebox-0.1.4... [ 1 of 29] Compiling Jukebox.Sat ( Jukebox/Sat.hs, dist/build/Jukebox/Sat.o ) [ 2 of 29] Compiling Jukebox.SatMin ( Jukebox/SatMin.hs, dist/build/Jukebox/SatMin.o ) [ 3 of 29] Compiling Jukebox.Sat3 ( Jukebox/Sat3.hs, dist/build/Jukebox/Sat3.o ) [ 4 of 29] Compiling Jukebox.SatEq ( Jukebox/SatEq.hs, dist/build/Jukebox/SatEq.o ) [ 5 of 29] Compiling Jukebox.TPTP.Lexer ( dist/build/Jukebox/TPTP/Lexer.hs, dist/build/Jukebox/TPTP/Lexer.o ) [ 6 of 29] Compiling Jukebox.TPTP.Parsec ( Jukebox/TPTP/Parsec.hs, dist/build/Jukebox/TPTP/Parsec.o ) [ 7 of 29] Compiling Jukebox.ProgressBar ( Jukebox/ProgressBar.hs, dist/build/Jukebox/ProgressBar.o ) [ 8 of 29] Compiling Jukebox.Options ( Jukebox/Options.hs, dist/build/Jukebox/Options.o ) [ 9 of 29] Compiling Jukebox.TPTP.FindFile ( Jukebox/TPTP/FindFile.hs, dist/build/Jukebox/TPTP/FindFile.o ) [10 of 29] Compiling Jukebox.Map ( Jukebox/Map.hs, dist/build/Jukebox/Map.o ) [11 of 29] Compiling Jukebox.UnionFind ( Jukebox/UnionFind.hs, dist/build/Jukebox/UnionFind.o ) [12 of 29] Compiling Jukebox.Seq ( Jukebox/Seq.hs, dist/build/Jukebox/Seq.o ) [13 of 29] Compiling Jukebox.Utils ( Jukebox/Utils.hs, dist/build/Jukebox/Utils.o ) [14 of 29] Compiling Jukebox.Name ( Jukebox/Name.hs, dist/build/Jukebox/Name.o ) [15 of 29] Compiling Jukebox.NameMap ( Jukebox/NameMap.hs, dist/build/Jukebox/NameMap.o ) [16 of 29] Compiling Jukebox.Form ( Jukebox/Form.hs, dist/build/Jukebox/Form.o ) [17 of 29] Compiling Jukebox.TPTP.Print ( Jukebox/TPTP/Print.hs, dist/build/Jukebox/TPTP/Print.o ) [18 of 29] Compiling Jukebox.HighSat ( Jukebox/HighSat.hs, dist/build/Jukebox/HighSat.o ) [19 of 29] Compiling Jukebox.InferTypes ( Jukebox/InferTypes.hs, dist/build/Jukebox/InferTypes.o ) [20 of 29] Compiling Jukebox.Monotonox.Monotonicity ( Jukebox/Monotonox/Monotonicity.hs, dist/build/Jukebox/Monotonox/Monotonicity.o ) [21 of 29] Compiling Jukebox.TPTP.ClauseParser ( Jukebox/TPTP/ClauseParser.hs, dist/build/Jukebox/TPTP/ClauseParser.o ) [22 of 29] Compiling Jukebox.TPTP.ParseSnippet ( Jukebox/TPTP/ParseSnippet.hs, dist/build/Jukebox/TPTP/ParseSnippet.o ) [23 of 29] Compiling Jukebox.Provers.E ( Jukebox/Provers/E.hs, dist/build/Jukebox/Provers/E.o ) [24 of 29] Compiling Jukebox.Provers.SPASS ( Jukebox/Provers/SPASS.hs, dist/build/Jukebox/Provers/SPASS.o ) [25 of 29] Compiling Jukebox.TPTP.ParseProblem ( Jukebox/TPTP/ParseProblem.hs, dist/build/Jukebox/TPTP/ParseProblem.o ) Jukebox/TPTP/ParseProblem.hs:11:1: Warning: Module ‘Control.Monad.Error’ is deprecated: Use Control.Monad.Except instead Jukebox/TPTP/ParseProblem.hs:25:46: Warning: In the use of ‘runErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:26:43: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:29:69: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:35:80: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:43:36: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:54:68: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" [26 of 29] Compiling Jukebox.Clausify ( Jukebox/Clausify.hs, dist/build/Jukebox/Clausify.o ) [27 of 29] Compiling Jukebox.GuessModel ( Jukebox/GuessModel.hs, dist/build/Jukebox/GuessModel.o ) [28 of 29] Compiling Jukebox.Monotonox.ToFOF ( Jukebox/Monotonox/ToFOF.hs, dist/build/Jukebox/Monotonox/ToFOF.o ) [29 of 29] Compiling Jukebox.Toolbox ( Jukebox/Toolbox.hs, dist/build/Jukebox/Toolbox.o ) In-place registering jukebox-0.1.4... Preprocessing executable 'jukebox' for jukebox-0.1.4... [ 1 of 23] Compiling Jukebox.TPTP.Parsec ( Jukebox/TPTP/Parsec.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/Parsec.o ) [ 2 of 23] Compiling Jukebox.Seq ( Jukebox/Seq.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Seq.o ) [ 3 of 23] Compiling Jukebox.Utils ( Jukebox/Utils.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Utils.o ) [ 4 of 23] Compiling Jukebox.ProgressBar ( Jukebox/ProgressBar.hs, dist/build/jukebox/jukebox-tmp/Jukebox/ProgressBar.o ) [ 5 of 23] Compiling Jukebox.Map ( Jukebox/Map.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Map.o ) [ 6 of 23] Compiling Jukebox.Name ( Jukebox/Name.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Name.o ) [ 7 of 23] Compiling Jukebox.NameMap ( Jukebox/NameMap.hs, dist/build/jukebox/jukebox-tmp/Jukebox/NameMap.o ) [ 8 of 23] Compiling Jukebox.UnionFind ( Jukebox/UnionFind.hs, dist/build/jukebox/jukebox-tmp/Jukebox/UnionFind.o ) [ 9 of 23] Compiling Jukebox.Form ( Jukebox/Form.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Form.o ) [10 of 23] Compiling Jukebox.HighSat ( Jukebox/HighSat.hs, dist/build/jukebox/jukebox-tmp/Jukebox/HighSat.o ) [11 of 23] Compiling Jukebox.InferTypes ( Jukebox/InferTypes.hs, dist/build/jukebox/jukebox-tmp/Jukebox/InferTypes.o ) [12 of 23] Compiling Jukebox.Monotonox.Monotonicity ( Jukebox/Monotonox/Monotonicity.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Monotonox/Monotonicity.o ) [13 of 23] Compiling Jukebox.TPTP.Print ( Jukebox/TPTP/Print.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/Print.o ) [14 of 23] Compiling Jukebox.TPTP.ClauseParser ( Jukebox/TPTP/ClauseParser.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/ClauseParser.o ) [15 of 23] Compiling Jukebox.TPTP.ParseSnippet ( Jukebox/TPTP/ParseSnippet.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/ParseSnippet.o ) [16 of 23] Compiling Jukebox.Options ( Jukebox/Options.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Options.o ) [17 of 23] Compiling Jukebox.Clausify ( Jukebox/Clausify.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Clausify.o ) [18 of 23] Compiling Jukebox.GuessModel ( Jukebox/GuessModel.hs, dist/build/jukebox/jukebox-tmp/Jukebox/GuessModel.o ) [19 of 23] Compiling Jukebox.Monotonox.ToFOF ( Jukebox/Monotonox/ToFOF.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Monotonox/ToFOF.o ) [20 of 23] Compiling Jukebox.TPTP.FindFile ( Jukebox/TPTP/FindFile.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/FindFile.o ) [21 of 23] Compiling Jukebox.TPTP.ParseProblem ( Jukebox/TPTP/ParseProblem.hs, dist/build/jukebox/jukebox-tmp/Jukebox/TPTP/ParseProblem.o ) Jukebox/TPTP/ParseProblem.hs:11:1: Warning: Module ‘Control.Monad.Error’ is deprecated: Use Control.Monad.Except instead Jukebox/TPTP/ParseProblem.hs:25:46: Warning: In the use of ‘runErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:26:43: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:29:69: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:35:80: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:43:36: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:54:68: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" [22 of 23] Compiling Jukebox.Toolbox ( Jukebox/Toolbox.hs, dist/build/jukebox/jukebox-tmp/Jukebox/Toolbox.o ) [23 of 23] Compiling Main ( Main.hs, dist/build/jukebox/jukebox-tmp/Main.o ) Linking dist/build/jukebox/jukebox ... Running Haddock for jukebox-0.1.4... Running hscolour for jukebox-0.1.4... Preprocessing library jukebox-0.1.4... Preprocessing executable 'jukebox' for jukebox-0.1.4... Preprocessing library jukebox-0.1.4... Jukebox/TPTP/ParseProblem.hs:11:1: Warning: Module ‘Control.Monad.Error’ is deprecated: Use Control.Monad.Except instead Jukebox/TPTP/ParseProblem.hs:25:46: Warning: In the use of ‘runErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:26:43: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:29:69: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:35:80: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:43:36: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Jukebox/TPTP/ParseProblem.hs:54:68: Warning: In the use of type constructor or class ‘ErrorT’ (imported from Control.Monad.Error, but defined in transformers-0.4.3.0:Control.Monad.Trans.Error): Deprecated: "Use Control.Monad.Trans.Except instead" Haddock coverage: 0% ( 0 / 15) in 'Jukebox.Sat' 0% ( 0 / 3) in 'Jukebox.SatMin' 0% ( 0 / 11) in 'Jukebox.Sat3' 0% ( 0 / 12) in 'Jukebox.SatEq' 0% ( 0 / 9) in 'Jukebox.TPTP.Lexer' 0% ( 0 / 30) in 'Jukebox.TPTP.Parsec' 0% ( 0 / 4) in 'Jukebox.ProgressBar' 0% ( 0 / 55) in 'Jukebox.Options' 0% ( 0 / 5) in 'Jukebox.TPTP.FindFile' 0% ( 0 / 17) in 'Jukebox.Map' 0% ( 0 / 12) in 'Jukebox.UnionFind' 0% ( 0 / 25) in 'Jukebox.Seq' 0% ( 0 / 5) in 'Jukebox.Utils' 0% ( 0 / 25) in 'Jukebox.Name' 0% ( 0 / 11) in 'Jukebox.NameMap' 0% ( 0 /125) in 'Jukebox.Form' 0% ( 0 / 7) in 'Jukebox.TPTP.Print' 0% ( 0 / 22) in 'Jukebox.HighSat' 0% ( 0 / 7) in 'Jukebox.InferTypes' 0% ( 0 / 12) in 'Jukebox.Monotonox.Monotonicity' 0% ( 0 / 59) in 'Jukebox.TPTP.ClauseParser' 0% ( 0 / 5) in 'Jukebox.TPTP.ParseSnippet' 0% ( 0 / 6) in 'Jukebox.Provers.E' 0% ( 0 / 5) in 'Jukebox.Provers.SPASS' 0% ( 0 / 3) in 'Jukebox.TPTP.ParseProblem' 0% ( 0 / 31) in 'Jukebox.Clausify' 0% ( 0 / 11) in 'Jukebox.GuessModel' 0% ( 0 / 16) in 'Jukebox.Monotonox.ToFOF' 0% ( 0 / 35) in 'Jukebox.Toolbox' Warning: Jukebox.TPTP.Print: could not find link destinations for: Jukebox.TPTP.Print.pPrint Documentation created: dist/doc/html/jukebox/index.html, dist/doc/html/jukebox/jukebox.txt Preprocessing executable 'jukebox' for jukebox-0.1.4... Creating package registration file: /tmp/pkgConf-jukebox-0.129220.4 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/jukebox-0.1.4 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. Registering jukebox-0.1.4... Installed jukebox-0.1.4