Build #1 for tamarin-prover-term-0.8.5.1

[all reports]

Package tamarin-prover-term-0.8.5.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies tamarin-prover-utils-0.8.5.1, syb-0.4.1, split-0.1.2.3, safe-0.3.4, process-1.1.0.2, parsec-3.1.3, mtl-2.1.2, dlist-0.5, directory-1.2.0.1, derive-2.5.13, deepseq-1.3.0.1, containers-0.5.0.0, bytestring-0.10.0.2, binary-0.7.1.0, base-4.6.0.1, attoparsec-0.10.4.0, HUnit-1.2.5.2
Flags none

Build log

[view raw]

Resolving dependencies...
Configuring HUnit-1.2.5.2...
Building HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
[1 of 5] Compiling Test.HUnit.Terminal ( Test/HUnit/Terminal.hs, dist/build/Test/HUnit/Terminal.o )
[2 of 5] Compiling Test.HUnit.Lang  ( Test/HUnit/Lang.hs, dist/build/Test/HUnit/Lang.o )
[3 of 5] Compiling Test.HUnit.Base  ( Test/HUnit/Base.hs, dist/build/Test/HUnit/Base.o )
[4 of 5] Compiling Test.HUnit.Text  ( Test/HUnit/Text.hs, dist/build/Test/HUnit/Text.o )
[5 of 5] Compiling Test.HUnit       ( Test/HUnit.hs, dist/build/Test/HUnit.o )
In-place registering HUnit-1.2.5.2...
Running Haddock for HUnit-1.2.5.2...
Running hscolour for HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Preprocessing library HUnit-1.2.5.2...
Haddock coverage:
 100% (  2 /  2) in 'Test.HUnit.Terminal'
  86% (  6 /  7) in 'Test.HUnit.Lang'
 100% ( 33 / 33) in 'Test.HUnit.Base'
 100% (  8 /  8) in 'Test.HUnit.Text'
 100% (  3 /  3) in 'Test.HUnit'
Documentation created: dist/doc/html/HUnit/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/HUnit-1.2.5.2
Registering HUnit-1.2.5.2...
Installed HUnit-1.2.5.2
Configuring attoparsec-0.10.4.0...
Building attoparsec-0.10.4.0...
Preprocessing library attoparsec-0.10.4.0...
[ 1 of 18] Compiling Data.Attoparsec.Text.FastSet ( Data/Attoparsec/Text/FastSet.hs, dist/build/Data/Attoparsec/Text/FastSet.o )
[ 2 of 18] Compiling Data.Attoparsec.Zepto ( Data/Attoparsec/Zepto.hs, dist/build/Data/Attoparsec/Zepto.o )
[ 3 of 18] Compiling Data.Attoparsec.Number ( Data/Attoparsec/Number.hs, dist/build/Data/Attoparsec/Number.o )
[ 4 of 18] Compiling Data.Attoparsec.ByteString.FastSet ( Data/Attoparsec/ByteString/FastSet.hs, dist/build/Data/Attoparsec/ByteString/FastSet.o )
[ 5 of 18] Compiling Data.Attoparsec.Internal.Types ( Data/Attoparsec/Internal/Types.hs, dist/build/Data/Attoparsec/Internal/Types.o )
[ 6 of 18] Compiling Data.Attoparsec.Types ( Data/Attoparsec/Types.hs, dist/build/Data/Attoparsec/Types.o )
[ 7 of 18] Compiling Data.Attoparsec.Internal ( Data/Attoparsec/Internal.hs, dist/build/Data/Attoparsec/Internal.o )
[ 8 of 18] Compiling Data.Attoparsec.Combinator ( Data/Attoparsec/Combinator.hs, dist/build/Data/Attoparsec/Combinator.o )
[ 9 of 18] Compiling Data.Attoparsec.ByteString.Internal ( Data/Attoparsec/ByteString/Internal.hs, dist/build/Data/Attoparsec/ByteString/Internal.o )
[10 of 18] Compiling Data.Attoparsec.Text.Internal ( Data/Attoparsec/Text/Internal.hs, dist/build/Data/Attoparsec/Text/Internal.o )
[11 of 18] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs, dist/build/Data/Attoparsec/Text.o )
[12 of 18] Compiling Data.Attoparsec.Text.Lazy ( Data/Attoparsec/Text/Lazy.hs, dist/build/Data/Attoparsec/Text/Lazy.o )
[13 of 18] Compiling Data.Attoparsec.ByteString ( Data/Attoparsec/ByteString.hs, dist/build/Data/Attoparsec/ByteString.o )
[14 of 18] Compiling Data.Attoparsec.ByteString.Char8 ( Data/Attoparsec/ByteString/Char8.hs, dist/build/Data/Attoparsec/ByteString/Char8.o )
[15 of 18] Compiling Data.Attoparsec.Char8 ( Data/Attoparsec/Char8.hs, dist/build/Data/Attoparsec/Char8.o )
[16 of 18] Compiling Data.Attoparsec.ByteString.Lazy ( Data/Attoparsec/ByteString/Lazy.hs, dist/build/Data/Attoparsec/ByteString/Lazy.o )
[17 of 18] Compiling Data.Attoparsec.Lazy ( Data/Attoparsec/Lazy.hs, dist/build/Data/Attoparsec/Lazy.o )
[18 of 18] Compiling Data.Attoparsec  ( Data/Attoparsec.hs, dist/build/Data/Attoparsec.o )
In-place registering attoparsec-0.10.4.0...
Running Haddock for attoparsec-0.10.4.0...
Running hscolour for attoparsec-0.10.4.0...
Preprocessing library attoparsec-0.10.4.0...
Preprocessing library attoparsec-0.10.4.0...
Haddock coverage:
  70% (  7 / 10) in 'Data.Attoparsec.Text.FastSet'
 100% (  7 /  7) in 'Data.Attoparsec.Zepto'
 100% (  2 /  2) in 'Data.Attoparsec.Number'
  69% (  9 / 13) in 'Data.Attoparsec.ByteString.FastSet'
  40% (  4 / 10) in 'Data.Attoparsec.Internal.Types'
 100% (  3 /  3) in 'Data.Attoparsec.Types'
 100% (  2 /  2) in 'Data.Attoparsec.Internal'
 100% ( 16 / 16) in 'Data.Attoparsec.Combinator'
  90% ( 37 / 41) in 'Data.Attoparsec.ByteString.Internal'
  95% ( 38 / 40) in 'Data.Attoparsec.Text.Internal'
  97% ( 71 / 73) in 'Data.Attoparsec.Text'
 100% (  9 /  9) in 'Data.Attoparsec.Text.Lazy'
  96% ( 48 / 50) in 'Data.Attoparsec.ByteString'
  97% ( 73 / 75) in 'Data.Attoparsec.ByteString.Char8'
 100% (  2 /  2) in 'Data.Attoparsec.Char8'
 100% (  9 /  9) in 'Data.Attoparsec.ByteString.Lazy'
 100% (  2 /  2) in 'Data.Attoparsec.Lazy'
 100% (  2 /  2) in 'Data.Attoparsec'
Documentation created: dist/doc/html/attoparsec/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/attoparsec-0.10.4.0
Registering attoparsec-0.10.4.0...
Installed attoparsec-0.10.4.0
Configuring base64-bytestring-1.0.0.1...
Building base64-bytestring-1.0.0.1...
Preprocessing library base64-bytestring-1.0.0.1...
[1 of 5] Compiling Data.ByteString.Base64.Internal ( Data/ByteString/Base64/Internal.hs, dist/build/Data/ByteString/Base64/Internal.o )
[2 of 5] Compiling Data.ByteString.Base64.URL ( Data/ByteString/Base64/URL.hs, dist/build/Data/ByteString/Base64/URL.o )
[3 of 5] Compiling Data.ByteString.Base64.URL.Lazy ( Data/ByteString/Base64/URL/Lazy.hs, dist/build/Data/ByteString/Base64/URL/Lazy.o )
[4 of 5] Compiling Data.ByteString.Base64 ( Data/ByteString/Base64.hs, dist/build/Data/ByteString/Base64.o )
[5 of 5] Compiling Data.ByteString.Base64.Lazy ( Data/ByteString/Base64/Lazy.hs, dist/build/Data/ByteString/Base64/Lazy.o )
In-place registering base64-bytestring-1.0.0.1...
Running Haddock for base64-bytestring-1.0.0.1...
Running hscolour for base64-bytestring-1.0.0.1...
Preprocessing library base64-bytestring-1.0.0.1...
Preprocessing library base64-bytestring-1.0.0.1...
Haddock coverage:
  45% (  5 / 11) in 'Data.ByteString.Base64.Internal'
 100% (  5 /  5) in 'Data.ByteString.Base64.URL'
 100% (  4 /  4) in 'Data.ByteString.Base64.URL.Lazy'
 100% (  5 /  5) in 'Data.ByteString.Base64'
 100% (  4 /  4) in 'Data.ByteString.Base64.Lazy'
Documentation created: dist/doc/html/base64-bytestring/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/base64-bytestring-1.0.0.1
Registering base64-bytestring-1.0.0.1...
Installed base64-bytestring-1.0.0.1
Configuring binary-0.7.1.0...
Building binary-0.7.1.0...
Preprocessing library binary-0.7.1.0...
[1 of 9] Compiling Data.Binary.Builder.Base ( src/Data/Binary/Builder/Base.hs, dist/build/Data/Binary/Builder/Base.o )
[2 of 9] Compiling Data.Binary.Builder.Internal ( src/Data/Binary/Builder/Internal.hs, dist/build/Data/Binary/Builder/Internal.o )
[3 of 9] Compiling Data.Binary.Get.Internal ( src/Data/Binary/Get/Internal.hs, dist/build/Data/Binary/Get/Internal.o )
[4 of 9] Compiling Data.Binary.Builder ( src/Data/Binary/Builder.hs, dist/build/Data/Binary/Builder.o )
[5 of 9] Compiling Data.Binary.Get  ( src/Data/Binary/Get.hs, dist/build/Data/Binary/Get.o )
[6 of 9] Compiling Data.Binary.Put  ( src/Data/Binary/Put.hs, dist/build/Data/Binary/Put.o )
[7 of 9] Compiling Data.Binary.Class ( src/Data/Binary/Class.hs, dist/build/Data/Binary/Class.o )
[8 of 9] Compiling Data.Binary.Generic ( src/Data/Binary/Generic.hs, dist/build/Data/Binary/Generic.o )
[9 of 9] Compiling Data.Binary      ( src/Data/Binary.hs, dist/build/Data/Binary.o )
In-place registering binary-0.7.1.0...
Running Haddock for binary-0.7.1.0...
Running hscolour for binary-0.7.1.0...
Preprocessing library binary-0.7.1.0...
Preprocessing library binary-0.7.1.0...
Haddock coverage:
 100% ( 31 / 31) in 'Data.Binary.Builder.Base'
 100% (  4 /  4) in 'Data.Binary.Builder.Internal'
  83% ( 20 / 24) in 'Data.Binary.Get.Internal'
 100% ( 28 / 28) in 'Data.Binary.Builder'
  98% ( 46 / 47) in 'Data.Binary.Get'
  96% ( 26 / 27) in 'Data.Binary.Put'
  80% (  4 /  5) in 'Data.Binary.Class'
 100% (  1 /  1) in 'Data.Binary.Generic'
  91% ( 21 / 23) in 'Data.Binary'
Warning: Data.Binary.Get.Internal: could not find link destinations for:
    Data.Binary.Get.Internal.Success
Warning: Data.Binary.Put: could not find link destinations for:
    Data.Binary.Put.PairS
Warning: Data.Binary: could not find link destinations for:
    Data.Binary.Generic.GSum Data.Binary.Generic.SumSize
Documentation created: dist/doc/html/binary/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/binary-0.7.1.0
Registering binary-0.7.1.0...
Installed binary-0.7.1.0
Configuring blaze-builder-0.3.3.2...
Building blaze-builder-0.3.3.2...
Preprocessing library blaze-builder-0.3.3.2...
[ 1 of 13] Compiling Blaze.ByteString.Builder.Internal.Types ( Blaze/ByteString/Builder/Internal/Types.hs, dist/build/Blaze/ByteString/Builder/Internal/Types.o )
[ 2 of 13] Compiling Blaze.ByteString.Builder.Internal.Write ( Blaze/ByteString/Builder/Internal/Write.hs, dist/build/Blaze/ByteString/Builder/Internal/Write.o )
[ 3 of 13] Compiling Blaze.ByteString.Builder.Internal.Buffer ( Blaze/ByteString/Builder/Internal/Buffer.hs, dist/build/Blaze/ByteString/Builder/Internal/Buffer.o )
[ 4 of 13] Compiling Blaze.ByteString.Builder.Internal.UncheckedShifts ( Blaze/ByteString/Builder/Internal/UncheckedShifts.hs, dist/build/Blaze/ByteString/Builder/Internal/UncheckedShifts.o )
[ 5 of 13] Compiling Blaze.ByteString.Builder.Internal ( Blaze/ByteString/Builder/Internal.hs, dist/build/Blaze/ByteString/Builder/Internal.o )
[ 6 of 13] Compiling Blaze.ByteString.Builder.Char.Utf8 ( Blaze/ByteString/Builder/Char/Utf8.hs, dist/build/Blaze/ByteString/Builder/Char/Utf8.o )
[ 7 of 13] Compiling Blaze.ByteString.Builder.ByteString ( Blaze/ByteString/Builder/ByteString.hs, dist/build/Blaze/ByteString/Builder/ByteString.o )
[ 8 of 13] Compiling Blaze.ByteString.Builder.Word ( Blaze/ByteString/Builder/Word.hs, dist/build/Blaze/ByteString/Builder/Word.o )
[ 9 of 13] Compiling Blaze.ByteString.Builder.Char8 ( Blaze/ByteString/Builder/Char8.hs, dist/build/Blaze/ByteString/Builder/Char8.o )
[10 of 13] Compiling Blaze.ByteString.Builder.HTTP ( Blaze/ByteString/Builder/HTTP.hs, dist/build/Blaze/ByteString/Builder/HTTP.o )
[11 of 13] Compiling Blaze.ByteString.Builder.Int ( Blaze/ByteString/Builder/Int.hs, dist/build/Blaze/ByteString/Builder/Int.o )
[12 of 13] Compiling Blaze.ByteString.Builder ( Blaze/ByteString/Builder.hs, dist/build/Blaze/ByteString/Builder.o )
[13 of 13] Compiling Blaze.ByteString.Builder.Html.Utf8 ( Blaze/ByteString/Builder/Html/Utf8.hs, dist/build/Blaze/ByteString/Builder/Html/Utf8.o )
In-place registering blaze-builder-0.3.3.2...
Running Haddock for blaze-builder-0.3.3.2...
Running hscolour for blaze-builder-0.3.3.2...
Preprocessing library blaze-builder-0.3.3.2...
Preprocessing library blaze-builder-0.3.3.2...
Haddock coverage:
  27% (  4 / 15) in 'Blaze.ByteString.Builder.Internal.Types'
  92% ( 24 / 26) in 'Blaze.ByteString.Builder.Internal.Write'
 100% ( 22 / 22) in 'Blaze.ByteString.Builder.Internal.Buffer'
  25% (  1 /  4) in 'Blaze.ByteString.Builder.Internal.UncheckedShifts'
  69% ( 22 / 32) in 'Blaze.ByteString.Builder.Internal'
 100% (  9 /  9) in 'Blaze.ByteString.Builder.Char.Utf8'
 100% ( 12 / 12) in 'Blaze.ByteString.Builder.ByteString'
 100% ( 43 / 43) in 'Blaze.ByteString.Builder.Word'
 100% (  9 /  9) in 'Blaze.ByteString.Builder.Char8'
 100% (  4 /  4) in 'Blaze.ByteString.Builder.HTTP'
 100% ( 43 / 43) in 'Blaze.ByteString.Builder.Int'
  92% ( 22 / 24) in 'Blaze.ByteString.Builder'
 100% ( 10 / 10) in 'Blaze.ByteString.Builder.Html.Utf8'
Documentation created: dist/doc/html/blaze-builder/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/blaze-builder-0.3.3.2
Registering blaze-builder-0.3.3.2...
Installed blaze-builder-0.3.3.2
Configuring cpphs-1.18...
Building cpphs-1.18...
Preprocessing library cpphs-1.18...
[ 1 of 12] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/Language/Preprocessor/Cpphs/HashDefine.o )
[ 2 of 12] Compiling Text.ParserCombinators.HuttonMeijer ( Text/ParserCombinators/HuttonMeijer.hs, dist/build/Text/ParserCombinators/HuttonMeijer.o )
[ 3 of 12] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/Language/Preprocessor/Cpphs/SymTab.o )
[ 4 of 12] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/Language/Preprocessor/Unlit.o )
[ 5 of 12] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/Language/Preprocessor/Cpphs/Options.o )
[ 6 of 12] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/Language/Preprocessor/Cpphs/Position.o )
[ 7 of 12] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 8 of 12] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/Language/Preprocessor/Cpphs/Tokenise.o )
[ 9 of 12] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/Language/Preprocessor/Cpphs/MacroPass.o )
[10 of 12] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/Language/Preprocessor/Cpphs/CppIfdef.o )
[11 of 12] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/Language/Preprocessor/Cpphs/RunCpphs.o )
[12 of 12] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/Language/Preprocessor/Cpphs.o )
In-place registering cpphs-1.18...
Preprocessing executable 'cpphs' for cpphs-1.18...
[ 1 of 13] Compiling Text.ParserCombinators.HuttonMeijer ( Text/ParserCombinators/HuttonMeijer.hs, dist/build/cpphs/cpphs-tmp/Text/ParserCombinators/HuttonMeijer.o )
[ 2 of 13] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/SymTab.o )
[ 3 of 13] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Position.o )
[ 4 of 13] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 5 of 13] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Options.o )
[ 6 of 13] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/HashDefine.o )
[ 7 of 13] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Tokenise.o )
[ 8 of 13] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/MacroPass.o )
[ 9 of 13] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/CppIfdef.o )
[10 of 13] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Unlit.o )
[11 of 13] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/RunCpphs.o )
[12 of 13] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs.o )
[13 of 13] Compiling Main             ( cpphs.hs, dist/build/cpphs/cpphs-tmp/Main.o )
Linking dist/build/cpphs/cpphs ...
Running Haddock for cpphs-1.18...
Running hscolour for cpphs-1.18...
Preprocessing library cpphs-1.18...
Preprocessing executable 'cpphs' for cpphs-1.18...
Preprocessing library cpphs-1.18...
Haddock coverage:
  83% (  5 /  6) in 'Language.Preprocessor.Cpphs.HashDefine'
   6% (  2 / 36) in 'Text.ParserCombinators.HuttonMeijer'
  33% (  3 /  9) in 'Language.Preprocessor.Cpphs.SymTab'
 100% (  2 /  2) in 'Language.Preprocessor.Unlit'
 100% (  7 /  7) in 'Language.Preprocessor.Cpphs.Options'
 100% ( 14 / 14) in 'Language.Preprocessor.Cpphs.Position'
 100% (  2 /  2) in 'Language.Preprocessor.Cpphs.ReadFirst'
  86% (  6 /  7) in 'Language.Preprocessor.Cpphs.Tokenise'
 100% (  5 /  5) in 'Language.Preprocessor.Cpphs.MacroPass'
 100% (  2 /  2) in 'Language.Preprocessor.Cpphs.CppIfdef'
   0% (  0 /  3) in 'Language.Preprocessor.Cpphs.RunCpphs'
  92% ( 22 / 24) in 'Language.Preprocessor.Cpphs'
Documentation created: dist/doc/html/cpphs/index.html
Preprocessing executable 'cpphs' for cpphs-1.18...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cpphs-1.18
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering cpphs-1.18...
Installed cpphs-1.18
Configuring dlist-0.5...
Building dlist-0.5...
Preprocessing library dlist-0.5...
[1 of 1] Compiling Data.DList       ( Data/DList.hs, dist/build/Data/DList.o )
In-place registering dlist-0.5...
Running Haddock for dlist-0.5...
Running hscolour for dlist-0.5...
Preprocessing library dlist-0.5...
Preprocessing library dlist-0.5...
Haddock coverage:
  95% ( 20 / 21) in 'Data.DList'
Documentation created: dist/doc/html/dlist/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/dlist-0.5
Registering dlist-0.5...
Installed dlist-0.5
Configuring fclabels-1.1.7.1...
Building fclabels-1.1.7.1...
Preprocessing library fclabels-1.1.7.1...
[1 of 7] Compiling Data.Label.Abstract ( src/Data/Label/Abstract.hs, dist/build/Data/Label/Abstract.o )
[2 of 7] Compiling Data.Label.Pure  ( src/Data/Label/Pure.hs, dist/build/Data/Label/Pure.o )
[3 of 7] Compiling Data.Label.PureM ( src/Data/Label/PureM.hs, dist/build/Data/Label/PureM.o )
[4 of 7] Compiling Data.Label.Maybe ( src/Data/Label/Maybe.hs, dist/build/Data/Label/Maybe.o )
[5 of 7] Compiling Data.Label.Derive ( src/Data/Label/Derive.hs, dist/build/Data/Label/Derive.o )
[6 of 7] Compiling Data.Label.MaybeM ( src/Data/Label/MaybeM.hs, dist/build/Data/Label/MaybeM.o )
[7 of 7] Compiling Data.Label       ( src/Data/Label.hs, dist/build/Data/Label.o )
In-place registering fclabels-1.1.7.1...
Running Haddock for fclabels-1.1.7.1...
Running hscolour for fclabels-1.1.7.1...
Preprocessing library fclabels-1.1.7.1...
Preprocessing library fclabels-1.1.7.1...
Haddock coverage:
  86% ( 12 / 14) in 'Data.Label.Abstract'
  83% (  5 /  6) in 'Data.Label.Pure'
  91% ( 10 / 11) in 'Data.Label.PureM'
  89% (  8 /  9) in 'Data.Label.Maybe'
  75% (  6 /  8) in 'Data.Label.Derive'
  80% (  4 /  5) in 'Data.Label.MaybeM'
  96% ( 25 / 26) in 'Data.Label'
Warning: Data.Label.Pure: could not find link destinations for:
    Data.Label.Pure.PureLens
Warning: Data.Label.Maybe: could not find link destinations for:
    Data.Label.Maybe.MaybeLens
Warning: Data.Label: could not find link destinations for:
    Data.Label.Pure.PureLens
Documentation created: dist/doc/html/fclabels/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/fclabels-1.1.7.1
Registering fclabels-1.1.7.1...
Installed fclabels-1.1.7.1
Configuring hashable-1.2.1.0...
Building hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
[3 of 3] Compiling Data.Hashable    ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.1.0...
Running Haddock for hashable-1.2.1.0...
Running hscolour for hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
Preprocessing library hashable-1.2.1.0...
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
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/hashable-1.2.1.0
Registering hashable-1.2.1.0...
Installed hashable-1.2.1.0
Configuring safe-0.3.4...
Building safe-0.3.4...
Preprocessing library safe-0.3.4...
[1 of 2] Compiling Safe.Foldable    ( Safe/Foldable.hs, dist/build/Safe/Foldable.o )
[2 of 2] Compiling Safe             ( Safe.hs, dist/build/Safe.o )
In-place registering safe-0.3.4...
Running Haddock for safe-0.3.4...
Running hscolour for safe-0.3.4...
Preprocessing library safe-0.3.4...
Preprocessing library safe-0.3.4...
Haddock coverage:
  54% (  7 / 13) in 'Safe.Foldable'
  21% ( 10 / 47) in 'Safe'
Documentation created: dist/doc/html/safe/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/safe-0.3.4
Registering safe-0.3.4...
Installed safe-0.3.4
Configuring split-0.1.2.3...
Building split-0.1.2.3...
Preprocessing library split-0.1.2.3...
[1 of 2] Compiling Data.List.Split.Internals ( Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o )
[2 of 2] Compiling Data.List.Split  ( Data/List/Split.hs, dist/build/Data/List/Split.o )
In-place registering split-0.1.2.3...
Running Haddock for split-0.1.2.3...
Running hscolour for split-0.1.2.3...
Preprocessing library split-0.1.2.3...
Preprocessing library split-0.1.2.3...
Haddock coverage:
  97% ( 62 / 64) in 'Data.List.Split.Internals'
 100% ( 45 / 45) in 'Data.List.Split'
Documentation created: dist/doc/html/split/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/split-0.1.2.3
Registering split-0.1.2.3...
Installed split-0.1.2.3
Configuring syb-0.4.1...
Building syb-0.4.1...
Preprocessing library syb-0.4.1...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics    ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB     ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.4.1...
Running Haddock for syb-0.4.1...
Running hscolour for syb-0.4.1...
Preprocessing library syb-0.4.1...
Preprocessing library syb-0.4.1...
Haddock coverage:
 100% (  2 /  2) in 'Data.Generics.Basics'
 100% (  2 /  2) in 'Generics.SYB.Basics'
 100% (  1 /  1) in 'Data.Generics.Instances'
 100% (  1 /  1) in 'Generics.SYB.Instances'
  96% ( 43 / 45) in 'Data.Generics.Aliases'
 100% ( 19 / 19) in 'Data.Generics.Schemes'
 100% (  2 /  2) in 'Generics.SYB.Schemes'
 100% (  6 /  6) in 'Data.Generics.Text'
 100% (  2 /  2) in 'Generics.SYB.Text'
 100% ( 16 / 16) in 'Data.Generics.Twins'
 100% (  2 /  2) in 'Generics.SYB.Twins'
 100% (  3 /  3) in 'Data.Generics.Builders'
 100% (  2 /  2) in 'Generics.SYB.Builders'
 100% (  2 /  2) in 'Generics.SYB.Aliases'
 100% (  8 /  8) in 'Data.Generics'
 100% (  2 /  2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1
Registering syb-0.4.1...
Installed syb-0.4.1
Configuring SHA-1.6.4...
Building SHA-1.6.4...
Preprocessing library SHA-1.6.4...
[1 of 1] Compiling Data.Digest.Pure.SHA ( src/Data/Digest/Pure/SHA.hs, dist/build/Data/Digest/Pure/SHA.o )
In-place registering SHA-1.6.4...
Running Haddock for SHA-1.6.4...
Running hscolour for SHA-1.6.4...
Preprocessing library SHA-1.6.4...
Preprocessing library SHA-1.6.4...
Haddock coverage:
  74% ( 23 / 31) in 'Data.Digest.Pure.SHA'
Documentation created: dist/doc/html/SHA/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/SHA-1.6.4
Registering SHA-1.6.4...
Installed SHA-1.6.4
[1 of 1] Compiling Main             ( /tmp/haskell-src-exts-1.14.0.1-22052/haskell-src-exts-1.14.0.1/Setup.hs, /tmp/haskell-src-exts-1.14.0.1-22052/haskell-src-exts-1.14.0.1/dist/setup/Main.o )
Linking /tmp/haskell-src-exts-1.14.0.1-22052/haskell-src-exts-1.14.0.1/dist/setup/setup ...
Configuring haskell-src-exts-1.14.0.1...
Building haskell-src-exts-1.14.0.1...
Preprocessing library haskell-src-exts-1.14.0.1...
[ 1 of 22] Compiling Language.Haskell.Exts.Annotated.Syntax ( src/Language/Haskell/Exts/Annotated/Syntax.hs, dist/build/Language/Haskell/Exts/Annotated/Syntax.o )
[ 2 of 22] Compiling Language.Haskell.Exts.ParseSyntax ( src/Language/Haskell/Exts/ParseSyntax.hs, dist/build/Language/Haskell/Exts/ParseSyntax.o )
[ 3 of 22] Compiling Language.Haskell.Exts.Annotated.Build ( src/Language/Haskell/Exts/Annotated/Build.hs, dist/build/Language/Haskell/Exts/Annotated/Build.o )
[ 4 of 22] Compiling Language.Haskell.Exts.SrcLoc ( src/Language/Haskell/Exts/SrcLoc.hs, dist/build/Language/Haskell/Exts/SrcLoc.o )
[ 5 of 22] Compiling Language.Haskell.Exts.Comments ( src/Language/Haskell/Exts/Comments.hs, dist/build/Language/Haskell/Exts/Comments.o )
[ 6 of 22] Compiling Language.Haskell.Exts.Annotated.ExactPrint ( src/Language/Haskell/Exts/Annotated/ExactPrint.hs, dist/build/Language/Haskell/Exts/Annotated/ExactPrint.o )
[ 7 of 22] Compiling Language.Haskell.Exts.Extension ( src/Language/Haskell/Exts/Extension.hs, dist/build/Language/Haskell/Exts/Extension.o )
[ 8 of 22] Compiling Language.Haskell.Exts.ExtScheme ( src/Language/Haskell/Exts/ExtScheme.hs, dist/build/Language/Haskell/Exts/ExtScheme.o )
[ 9 of 22] Compiling Language.Haskell.Exts.Syntax ( src/Language/Haskell/Exts/Syntax.hs, dist/build/Language/Haskell/Exts/Syntax.o )
[10 of 22] Compiling Language.Haskell.Exts.Build ( src/Language/Haskell/Exts/Build.hs, dist/build/Language/Haskell/Exts/Build.o )
[11 of 22] Compiling Language.Haskell.Exts.Fixity ( src/Language/Haskell/Exts/Fixity.hs, dist/build/Language/Haskell/Exts/Fixity.o )
[12 of 22] Compiling Language.Haskell.Exts.ParseMonad ( src/Language/Haskell/Exts/ParseMonad.hs, dist/build/Language/Haskell/Exts/ParseMonad.o )
[13 of 22] Compiling Language.Haskell.Exts.InternalLexer ( src/Language/Haskell/Exts/InternalLexer.hs, dist/build/Language/Haskell/Exts/InternalLexer.o )
[14 of 22] Compiling Language.Haskell.Exts.Lexer ( src/Language/Haskell/Exts/Lexer.hs, dist/build/Language/Haskell/Exts/Lexer.o )
[15 of 22] Compiling Language.Haskell.Exts.Annotated.Simplify ( src/Language/Haskell/Exts/Annotated/Simplify.hs, dist/build/Language/Haskell/Exts/Annotated/Simplify.o )
[16 of 22] Compiling Language.Haskell.Exts.Pretty ( src/Language/Haskell/Exts/Pretty.hs, dist/build/Language/Haskell/Exts/Pretty.o )
[17 of 22] Compiling Language.Haskell.Exts.ParseUtils ( src/Language/Haskell/Exts/ParseUtils.hs, dist/build/Language/Haskell/Exts/ParseUtils.o )
[18 of 22] Compiling Language.Haskell.Exts.Annotated.Fixity ( src/Language/Haskell/Exts/Annotated/Fixity.hs, dist/build/Language/Haskell/Exts/Annotated/Fixity.o )
[19 of 22] Compiling Language.Haskell.Exts.InternalParser ( dist/build/Language/Haskell/Exts/InternalParser.hs, dist/build/Language/Haskell/Exts/InternalParser.o )
[20 of 22] Compiling Language.Haskell.Exts.Parser ( src/Language/Haskell/Exts/Parser.hs, dist/build/Language/Haskell/Exts/Parser.o )
[21 of 22] Compiling Language.Haskell.Exts.Annotated ( src/Language/Haskell/Exts/Annotated.hs, dist/build/Language/Haskell/Exts/Annotated.o )
[22 of 22] Compiling Language.Haskell.Exts ( src/Language/Haskell/Exts.hs, dist/build/Language/Haskell/Exts.o )
In-place registering haskell-src-exts-1.14.0.1...
Running Haddock for haskell-src-exts-1.14.0.1...
Running hscolour for haskell-src-exts-1.14.0.1...
Preprocessing library haskell-src-exts-1.14.0.1...
Preprocessing library haskell-src-exts-1.14.0.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
Haddock coverage:
  70% ( 91 /130) in 'Language.Haskell.Exts.Annotated.Syntax'
   0% (  0 / 15) in 'Language.Haskell.Exts.ParseSyntax'
 100% ( 49 / 49) in 'Language.Haskell.Exts.Annotated.Build'
  90% ( 19 / 21) in 'Language.Haskell.Exts.SrcLoc'
  50% (  1 /  2) in 'Language.Haskell.Exts.Comments'
  67% (  2 /  3) in 'Language.Haskell.Exts.Annotated.ExactPrint'
  65% ( 13 / 20) in 'Language.Haskell.Exts.Extension'
  25% (  1 /  4) in 'Language.Haskell.Exts.ExtScheme'
  68% ( 83 /122) in 'Language.Haskell.Exts.Syntax'
 100% ( 49 / 49) in 'Language.Haskell.Exts.Build'
  77% ( 10 / 13) in 'Language.Haskell.Exts.Fixity'
  27% ( 12 / 44) in 'Language.Haskell.Exts.ParseMonad'
  20% (  1 /  5) in 'Language.Haskell.Exts.InternalLexer'
  80% (  4 /  5) in 'Language.Haskell.Exts.Lexer'
   5% (  3 / 65) in 'Language.Haskell.Exts.Annotated.Simplify'
  93% ( 14 / 15) in 'Language.Haskell.Exts.Pretty'
   2% (  1 / 45) in 'Language.Haskell.Exts.ParseUtils'
  75% (  9 / 12) in 'Language.Haskell.Exts.Annotated.Fixity'
 100% ( 37 / 37) in 'Language.Haskell.Exts.InternalParser'
  97% ( 33 / 34) in 'Language.Haskell.Exts.Parser'
  95% ( 40 / 42) in 'Language.Haskell.Exts.Annotated'
 100% ( 21 / 21) in 'Language.Haskell.Exts'
Documentation created: dist/doc/html/haskell-src-exts/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/haskell-src-exts-1.14.0.1
Registering haskell-src-exts-1.14.0.1...
Installed haskell-src-exts-1.14.0.1
Configuring unordered-containers-0.2.3.3...
Building unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
[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.3.3...
Running Haddock for unordered-containers-0.2.3.3...
Running hscolour for unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
Preprocessing library unordered-containers-0.2.3.3...
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'
  85% ( 52 / 61) in 'Data.HashMap.Base'
  98% ( 44 / 45) in 'Data.HashMap.Strict'
  98% ( 44 / 45) in 'Data.HashMap.Lazy'
 100% ( 27 / 27) in 'Data.HashSet'
Documentation created: dist/doc/html/unordered-containers/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/unordered-containers-0.2.3.3
Registering unordered-containers-0.2.3.3...
Installed unordered-containers-0.2.3.3
Downloading tamarin-prover-utils-0.8.5.1...
Configuring tamarin-prover-utils-0.8.5.1...
Building tamarin-prover-utils-0.8.5.1...
Preprocessing library tamarin-prover-utils-0.8.5.1...
[ 1 of 25] Compiling Utils.Misc       ( src/Utils/Misc.hs, dist/build/Utils/Misc.o )
[ 2 of 25] Compiling Debug.Trace.Ignore ( src/Debug/Trace/Ignore.hs, dist/build/Debug/Trace/Ignore.o )
[ 3 of 25] Compiling System.Timing    ( src/System/Timing.hs, dist/build/System/Timing.o )
[ 4 of 25] Compiling Text.Unicode     ( src/Text/Unicode.hs, dist/build/Text/Unicode.o )
[ 5 of 25] Compiling Text.Dot         ( src/Text/Dot.hs, dist/build/Text/Dot.o )
[ 6 of 25] Compiling Extension.Data.ByteString ( src/Extension/Data/ByteString.hs, dist/build/Extension/Data/ByteString.o )
[ 7 of 25] Compiling Extension.Data.Bounded ( src/Extension/Data/Bounded.hs, dist/build/Extension/Data/Bounded.o )
[ 8 of 25] Compiling Extension.Data.Monoid ( src/Extension/Data/Monoid.hs, dist/build/Extension/Data/Monoid.o )
[ 9 of 25] Compiling Extension.Data.Label ( src/Extension/Data/Label.hs, dist/build/Extension/Data/Label.o )
[10 of 25] Compiling Data.Color       ( src/Data/Color.hs, dist/build/Data/Color.o )
[11 of 25] Compiling Control.Basics   ( src/Control/Basics.hs, dist/build/Control/Basics.o )
[12 of 25] Compiling Control.Monad.Trans.FastFresh ( src/Control/Monad/Trans/FastFresh.hs, dist/build/Control/Monad/Trans/FastFresh.o )
[13 of 25] Compiling Control.Monad.Trans.PreciseFresh ( src/Control/Monad/Trans/PreciseFresh.hs, dist/build/Control/Monad/Trans/PreciseFresh.o )
[14 of 25] Compiling Control.Monad.Fresh.Class ( src/Control/Monad/Fresh/Class.hs, dist/build/Control/Monad/Fresh/Class.o )
[15 of 25] Compiling Control.Monad.Fresh ( src/Control/Monad/Fresh.hs, dist/build/Control/Monad/Fresh.o )
[16 of 25] Compiling Control.Monad.Disj.Class ( src/Control/Monad/Disj/Class.hs, dist/build/Control/Monad/Disj/Class.o )
[17 of 25] Compiling Control.Monad.Trans.Disj ( src/Control/Monad/Trans/Disj.hs, dist/build/Control/Monad/Trans/Disj.o )
[18 of 25] Compiling Control.Monad.Disj ( src/Control/Monad/Disj.hs, dist/build/Control/Monad/Disj.o )
[19 of 25] Compiling Control.Monad.Bind ( src/Control/Monad/Bind.hs, dist/build/Control/Monad/Bind.o )
[20 of 25] Compiling Data.DAG.Simple  ( src/Data/DAG/Simple.hs, dist/build/Data/DAG/Simple.o )
[21 of 25] Compiling Extension.Prelude ( src/Extension/Prelude.hs, dist/build/Extension/Prelude.o )
[22 of 25] Compiling Text.PrettyPrint.Class ( src/Text/PrettyPrint/Class.hs, dist/build/Text/PrettyPrint/Class.o )
[23 of 25] Compiling Text.PrettyPrint.Highlight ( src/Text/PrettyPrint/Highlight.hs, dist/build/Text/PrettyPrint/Highlight.o )
[24 of 25] Compiling Text.PrettyPrint.Html ( src/Text/PrettyPrint/Html.hs, dist/build/Text/PrettyPrint/Html.o )
[25 of 25] Compiling Logic.Connectives ( src/Logic/Connectives.hs, dist/build/Logic/Connectives.o )
In-place registering tamarin-prover-utils-0.8.5.1...
Running Haddock for tamarin-prover-utils-0.8.5.1...
Running hscolour for tamarin-prover-utils-0.8.5.1...
Preprocessing library tamarin-prover-utils-0.8.5.1...
Preprocessing library tamarin-prover-utils-0.8.5.1...
Haddock coverage:
  83% ( 15 / 18) in 'Utils.Misc'
 100% (  2 /  2) in 'Debug.Trace.Ignore'
 100% (  3 /  3) in 'System.Timing'
 100% (  3 /  3) in 'Text.Unicode'
  92% ( 33 / 36) in 'Text.Dot'
 100% (  1 /  1) in 'Extension.Data.ByteString'
 100% (  3 /  3) in 'Extension.Data.Bounded'
 100% (  4 /  4) in 'Extension.Data.Monoid'
 100% ( 15 / 15) in 'Extension.Data.Label'
  61% ( 11 / 18) in 'Data.Color'
 100% (  4 /  4) in 'Control.Basics'
  94% ( 16 / 17) in 'Control.Monad.Trans.FastFresh'
  89% ( 16 / 18) in 'Control.Monad.Trans.PreciseFresh'
  50% (  1 /  2) in 'Control.Monad.Fresh.Class'
  90% ( 18 / 20) in 'Control.Monad.Fresh'
  67% (  2 /  3) in 'Control.Monad.Disj.Class'
 100% (  5 /  5) in 'Control.Monad.Trans.Disj'
  94% ( 16 / 17) in 'Control.Monad.Disj'
  95% ( 20 / 21) in 'Control.Monad.Bind'
 100% ( 11 / 11) in 'Data.DAG.Simple'
  86% ( 32 / 37) in 'Extension.Prelude'
  47% ( 21 / 45) in 'Text.PrettyPrint.Class'
  38% (  5 / 13) in 'Text.PrettyPrint.Highlight'
  88% ( 14 / 16) in 'Text.PrettyPrint.Html'
 100% (  3 /  3) in 'Logic.Connectives'
Warning: Text.Dot: could not find link destinations for:
    Text.Dot.rawNode
Warning: Data.Color: could not find link destinations for:
    Data.Color.colorGroupStyle Data.Color.genColorGroups Data.Color.lightColorGroupStyle
Warning: Text.PrettyPrint.Html: could not find link destinations for:
    Text.PrettyPrint.Html.NoHtmlDoc
Documentation created: dist/doc/html/tamarin-prover-utils/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tamarin-prover-utils-0.8.5.1
Registering tamarin-prover-utils-0.8.5.1...
Installed tamarin-prover-utils-0.8.5.1
Configuring uniplate-1.6.12...
Building uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
[ 1 of 21] Compiling Data.Generics.Uniplate.Data.Instances ( Data/Generics/Uniplate/Data/Instances.hs, dist/build/Data/Generics/Uniplate/Data/Instances.o )
[ 2 of 21] Compiling Data.Generics.Uniplate.Internal.Utils ( Data/Generics/Uniplate/Internal/Utils.hs, dist/build/Data/Generics/Uniplate/Internal/Utils.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package text-0.11.2.3 ... linking ... done.
Loading package hashable-1.2.1.0 ... linking ... done.
Loading package unordered-containers-0.2.3.3 ... linking ... done.
Loading package syb-0.4.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
[ 3 of 21] Compiling Data.Generics.Uniplate ( Data/Generics/Uniplate.hs, dist/build/Data/Generics/Uniplate.o )
[ 4 of 21] Compiling Data.Generics.UniplateOn ( Data/Generics/UniplateOn.hs, dist/build/Data/Generics/UniplateOn.o )
[ 5 of 21] Compiling Data.Generics.Str ( Data/Generics/Str.hs, dist/build/Data/Generics/Str.o )
[ 6 of 21] Compiling Data.Generics.Uniplate.Operations ( Data/Generics/Uniplate/Operations.hs, dist/build/Data/Generics/Uniplate/Operations.o )
[ 7 of 21] Compiling Data.Generics.Compos ( Data/Generics/Compos.hs, dist/build/Data/Generics/Compos.o )
[ 8 of 21] Compiling Data.Generics.SYB ( Data/Generics/SYB.hs, dist/build/Data/Generics/SYB.o )
[ 9 of 21] Compiling Data.Generics.Uniplate.Internal.Data ( Data/Generics/Uniplate/Internal/Data.hs, dist/build/Data/Generics/Uniplate/Internal/Data.o )
[10 of 21] Compiling Data.Generics.Uniplate.Data ( Data/Generics/Uniplate/Data.hs, dist/build/Data/Generics/Uniplate/Data.o )
[11 of 21] Compiling Data.Generics.Uniplate.Internal.DataOnlyOperations ( Data/Generics/Uniplate/Internal/DataOnlyOperations.hs, dist/build/Data/Generics/Uniplate/Internal/DataOnlyOperations.o )
[12 of 21] Compiling Data.Generics.Uniplate.DataOnly ( Data/Generics/Uniplate/DataOnly.hs, dist/build/Data/Generics/Uniplate/DataOnly.o )
[13 of 21] Compiling Data.Generics.Uniplate.Direct ( Data/Generics/Uniplate/Direct.hs, dist/build/Data/Generics/Uniplate/Direct.o )
[14 of 21] Compiling Data.Generics.Uniplate.Typeable ( Data/Generics/Uniplate/Typeable.hs, dist/build/Data/Generics/Uniplate/Typeable.o )
[15 of 21] Compiling Data.Generics.Uniplate.Zipper ( Data/Generics/Uniplate/Zipper.hs, dist/build/Data/Generics/Uniplate/Zipper.o )
[16 of 21] Compiling Data.Generics.UniplateStr ( Data/Generics/UniplateStr.hs, dist/build/Data/Generics/UniplateStr.o )
[17 of 21] Compiling Data.Generics.UniplateStrOn ( Data/Generics/UniplateStrOn.hs, dist/build/Data/Generics/UniplateStrOn.o )
[18 of 21] Compiling Data.Generics.Biplate ( Data/Generics/Biplate.hs, dist/build/Data/Generics/Biplate.o )
[19 of 21] Compiling Data.Generics.PlateDirect ( Data/Generics/PlateDirect.hs, dist/build/Data/Generics/PlateDirect.o )
[20 of 21] Compiling Data.Generics.PlateTypeable ( Data/Generics/PlateTypeable.hs, dist/build/Data/Generics/PlateTypeable.o )
[21 of 21] Compiling Data.Generics.PlateData ( Data/Generics/PlateData.hs, dist/build/Data/Generics/PlateData.o )
In-place registering uniplate-1.6.12...
Running Haddock for uniplate-1.6.12...
Running hscolour for uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
Haddock coverage:
 100% ( 16 / 16) in 'Data.Generics.Uniplate.Data.Instances'
  86% (  6 /  7) in 'Data.Generics.Uniplate.Internal.Utils'
 100% ( 19 / 19) in 'Data.Generics.Uniplate'
  55% ( 11 / 20) in 'Data.Generics.UniplateOn'
  67% (  6 /  9) in 'Data.Generics.Str'
  76% ( 22 / 29) in 'Data.Generics.Uniplate.Operations'
 100% (  8 /  8) in 'Data.Generics.Compos'
 100% ( 13 / 13) in 'Data.Generics.SYB'
   8% (  4 / 49) in 'Data.Generics.Uniplate.Internal.Data'
  80% (  4 /  5) in 'Data.Generics.Uniplate.Data'
  72% ( 21 / 29) in 'Data.Generics.Uniplate.Internal.DataOnlyOperations'
  75% ( 24 / 32) in 'Data.Generics.Uniplate.DataOnly'
 100% ( 11 / 11) in 'Data.Generics.Uniplate.Direct'
 100% ( 10 / 10) in 'Data.Generics.Uniplate.Typeable'
 100% ( 14 / 14) in 'Data.Generics.Uniplate.Zipper'
 100% ( 21 / 21) in 'Data.Generics.UniplateStr'
  55% ( 11 / 20) in 'Data.Generics.UniplateStrOn'
  47% (  9 / 19) in 'Data.Generics.Biplate'
 100% ( 10 / 10) in 'Data.Generics.PlateDirect'
 100% ( 10 / 10) in 'Data.Generics.PlateTypeable'
 100% (  2 /  2) in 'Data.Generics.PlateData'
Warning: Data.Generics.Uniplate.Direct: could not find link destinations for:
    Data.Generics.Uniplate.Direct.Type
Warning: Data.Generics.Uniplate.Typeable: could not find link destinations for:
    Data.Generics.Uniplate.Typeable.Type
Warning: Data.Generics.PlateDirect: could not find link destinations for:
    Data.Generics.PlateDirect.Type
Warning: Data.Generics.PlateTypeable: could not find link destinations for:
    Data.Generics.PlateTypeable.Type
Documentation created: dist/doc/html/uniplate/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/uniplate-1.6.12
Registering uniplate-1.6.12...
Installed uniplate-1.6.12
Configuring derive-2.5.13...
Building derive-2.5.13...
Preprocessing library derive-2.5.13...
[ 1 of 65] Compiling Language.Haskell.TH.Compat ( Language/Haskell/TH/Compat.hs, dist/build/Language/Haskell/TH/Compat.o )
[ 2 of 65] Compiling Language.Haskell.TH.Data ( Language/Haskell/TH/Data.hs, dist/build/Language/Haskell/TH/Data.o )
[ 3 of 65] Compiling Language.Haskell.TH.ExpandSynonym ( Language/Haskell/TH/ExpandSynonym.hs, dist/build/Language/Haskell/TH/ExpandSynonym.o )
[ 4 of 65] Compiling Language.Haskell.TH.FixedPpr ( Language/Haskell/TH/FixedPpr.hs, dist/build/Language/Haskell/TH/FixedPpr.o )
[ 5 of 65] Compiling Language.Haskell.TH.Helper ( Language/Haskell/TH/Helper.hs, dist/build/Language/Haskell/TH/Helper.o )
[ 6 of 65] Compiling Language.Haskell.TH.Peephole ( Language/Haskell/TH/Peephole.hs, dist/build/Language/Haskell/TH/Peephole.o )
[ 7 of 65] Compiling Data.Derive.Class.Default ( Data/Derive/Class/Default.hs, dist/build/Data/Derive/Class/Default.o )
[ 8 of 65] Compiling Data.Derive.Internal.Instance ( Data/Derive/Internal/Instance.hs, dist/build/Data/Derive/Internal/Instance.o )
[ 9 of 65] Compiling Data.Derive.Class.Arities ( Data/Derive/Class/Arities.hs, dist/build/Data/Derive/Class/Arities.o )
[10 of 65] Compiling Data.Derive.Instance.Arities ( Data/Derive/Instance/Arities.hs, dist/build/Data/Derive/Instance/Arities.o )
[11 of 65] Compiling Language.Haskell ( Language/Haskell.hs, dist/build/Language/Haskell.o )
[12 of 65] Compiling Language.Haskell.Convert ( Language/Haskell/Convert.hs, dist/build/Language/Haskell/Convert.o )
[13 of 65] Compiling Data.Derive.DSL.HSE ( Data/Derive/DSL/HSE.hs, dist/build/Data/Derive/DSL/HSE.o )
[14 of 65] Compiling Data.Derive.DSL.DSL ( Data/Derive/DSL/DSL.hs, dist/build/Data/Derive/DSL/DSL.o )
[15 of 65] Compiling Data.Derive.DSL.Apply ( Data/Derive/DSL/Apply.hs, dist/build/Data/Derive/DSL/Apply.o )
[16 of 65] Compiling Data.Derive.DSL.Derive ( Data/Derive/DSL/Derive.hs, dist/build/Data/Derive/DSL/Derive.o )
[17 of 65] Compiling Data.Derive.DSL.SYB ( Data/Derive/DSL/SYB.hs, dist/build/Data/Derive/DSL/SYB.o )
[18 of 65] Compiling Data.DeriveDSL   ( Data/DeriveDSL.hs, dist/build/Data/DeriveDSL.o )
[19 of 65] Compiling Derive.Utils     ( Derive/Utils.hs, dist/build/Derive/Utils.o )
[20 of 65] Compiling Derive.Generate  ( Derive/Generate.hs, dist/build/Derive/Generate.o )
[21 of 65] Compiling Derive.Flags     ( Derive/Flags.hs, dist/build/Derive/Flags.o )
[22 of 65] Compiling Language.Haskell.TH.All ( Language/Haskell/TH/All.hs, dist/build/Language/Haskell/TH/All.o )
[23 of 65] Compiling Data.Derive.Internal.Derivation ( Data/Derive/Internal/Derivation.hs, dist/build/Data/Derive/Internal/Derivation.o )
[24 of 65] Compiling Data.Derive.Arbitrary ( Data/Derive/Arbitrary.hs, dist/build/Data/Derive/Arbitrary.o )
[25 of 65] Compiling Data.Derive.ArbitraryOld ( Data/Derive/ArbitraryOld.hs, dist/build/Data/Derive/ArbitraryOld.o )
[26 of 65] Compiling Data.Derive.Arities ( Data/Derive/Arities.hs, dist/build/Data/Derive/Arities.o )
[27 of 65] Compiling Data.Derive.Binary ( Data/Derive/Binary.hs, dist/build/Data/Derive/Binary.o )
[28 of 65] Compiling Data.Derive.BinaryDefer ( Data/Derive/BinaryDefer.hs, dist/build/Data/Derive/BinaryDefer.o )
[29 of 65] Compiling Data.Derive.Bounded ( Data/Derive/Bounded.hs, dist/build/Data/Derive/Bounded.o )
[30 of 65] Compiling Data.Derive.Data ( Data/Derive/Data.hs, dist/build/Data/Derive/Data.o )
[31 of 65] Compiling Data.Derive.DataAbstract ( Data/Derive/DataAbstract.hs, dist/build/Data/Derive/DataAbstract.o )
[32 of 65] Compiling Data.Derive.Default ( Data/Derive/Default.hs, dist/build/Data/Derive/Default.o )
[33 of 65] Compiling Data.Derive.Enum ( Data/Derive/Enum.hs, dist/build/Data/Derive/Enum.o )
[34 of 65] Compiling Data.Derive.EnumCyclic ( Data/Derive/EnumCyclic.hs, dist/build/Data/Derive/EnumCyclic.o )
[35 of 65] Compiling Data.Derive.Eq   ( Data/Derive/Eq.hs, dist/build/Data/Derive/Eq.o )
[36 of 65] Compiling Data.Derive.Fold ( Data/Derive/Fold.hs, dist/build/Data/Derive/Fold.o )
[37 of 65] Compiling Data.Derive.From ( Data/Derive/From.hs, dist/build/Data/Derive/From.o )
[38 of 65] Compiling Data.Derive.Has  ( Data/Derive/Has.hs, dist/build/Data/Derive/Has.o )
[39 of 65] Compiling Data.Derive.Is   ( Data/Derive/Is.hs, dist/build/Data/Derive/Is.o )
[40 of 65] Compiling Data.Derive.JSON ( Data/Derive/JSON.hs, dist/build/Data/Derive/JSON.o )
[41 of 65] Compiling Data.Derive.LazySet ( Data/Derive/LazySet.hs, dist/build/Data/Derive/LazySet.o )
[42 of 65] Compiling Data.Derive.Lens ( Data/Derive/Lens.hs, dist/build/Data/Derive/Lens.o )
[43 of 65] Compiling Data.Derive.Monoid ( Data/Derive/Monoid.hs, dist/build/Data/Derive/Monoid.o )
[44 of 65] Compiling Data.Derive.NFData ( Data/Derive/NFData.hs, dist/build/Data/Derive/NFData.o )
[45 of 65] Compiling Data.Derive.Ord  ( Data/Derive/Ord.hs, dist/build/Data/Derive/Ord.o )
[46 of 65] Compiling Data.Derive.Read ( Data/Derive/Read.hs, dist/build/Data/Derive/Read.o )
[47 of 65] Compiling Data.Derive.Ref  ( Data/Derive/Ref.hs, dist/build/Data/Derive/Ref.o )
[48 of 65] Compiling Data.Derive.Serial ( Data/Derive/Serial.hs, dist/build/Data/Derive/Serial.o )
[49 of 65] Compiling Data.Derive.Serialize ( Data/Derive/Serialize.hs, dist/build/Data/Derive/Serialize.o )
[50 of 65] Compiling Data.Derive.Set  ( Data/Derive/Set.hs, dist/build/Data/Derive/Set.o )
[51 of 65] Compiling Data.Derive.Show ( Data/Derive/Show.hs, dist/build/Data/Derive/Show.o )
[52 of 65] Compiling Data.Derive.Typeable ( Data/Derive/Typeable.hs, dist/build/Data/Derive/Typeable.o )
[53 of 65] Compiling Data.Derive.UniplateDirect ( Data/Derive/UniplateDirect.hs, dist/build/Data/Derive/UniplateDirect.o )
[54 of 65] Compiling Data.Derive.UniplateTypeable ( Data/Derive/UniplateTypeable.hs, dist/build/Data/Derive/UniplateTypeable.o )
[55 of 65] Compiling Data.Derive.Update ( Data/Derive/Update.hs, dist/build/Data/Derive/Update.o )
[56 of 65] Compiling Data.Derive.Internal.Traversal ( Data/Derive/Internal/Traversal.hs, dist/build/Data/Derive/Internal/Traversal.o )
[57 of 65] Compiling Data.Derive.Foldable ( Data/Derive/Foldable.hs, dist/build/Data/Derive/Foldable.o )
[58 of 65] Compiling Data.Derive.Functor ( Data/Derive/Functor.hs, dist/build/Data/Derive/Functor.o )
[59 of 65] Compiling Data.Derive.Traversable ( Data/Derive/Traversable.hs, dist/build/Data/Derive/Traversable.o )
[60 of 65] Compiling Derive.Derivation ( Derive/Derivation.hs, dist/build/Derive/Derivation.o )
[61 of 65] Compiling Data.Derive.All  ( Data/Derive/All.hs, dist/build/Data/Derive/All.o )
[62 of 65] Compiling Data.DeriveTH    ( Data/DeriveTH.hs, dist/build/Data/DeriveTH.o )
[63 of 65] Compiling Derive.Test      ( Derive/Test.hs, dist/build/Derive/Test.o )
[64 of 65] Compiling Derive.Main      ( Derive/Main.hs, dist/build/Derive/Main.o )
[65 of 65] Compiling Data.DeriveMain  ( Data/DeriveMain.hs, dist/build/Data/DeriveMain.o )
In-place registering derive-2.5.13...
Preprocessing executable 'derive' for derive-2.5.13...
[ 1 of 53] Compiling Language.Haskell ( Language/Haskell.hs, dist/build/derive/derive-tmp/Language/Haskell.o )
[ 2 of 53] Compiling Derive.Flags     ( Derive/Flags.hs, dist/build/derive/derive-tmp/Derive/Flags.o )
[ 3 of 53] Compiling Data.Derive.DSL.HSE ( Data/Derive/DSL/HSE.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/HSE.o )
[ 4 of 53] Compiling Derive.Utils     ( Derive/Utils.hs, dist/build/derive/derive-tmp/Derive/Utils.o )
[ 5 of 53] Compiling Data.Derive.DSL.DSL ( Data/Derive/DSL/DSL.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/DSL.o )
[ 6 of 53] Compiling Data.Derive.DSL.SYB ( Data/Derive/DSL/SYB.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/SYB.o )
[ 7 of 53] Compiling Data.Derive.DSL.Apply ( Data/Derive/DSL/Apply.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/Apply.o )
[ 8 of 53] Compiling Data.Derive.DSL.Derive ( Data/Derive/DSL/Derive.hs, dist/build/derive/derive-tmp/Data/Derive/DSL/Derive.o )
[ 9 of 53] Compiling Data.DeriveDSL   ( Data/DeriveDSL.hs, dist/build/derive/derive-tmp/Data/DeriveDSL.o )
[10 of 53] Compiling Data.Derive.Internal.Derivation ( Data/Derive/Internal/Derivation.hs, dist/build/derive/derive-tmp/Data/Derive/Internal/Derivation.o )
[11 of 53] Compiling Data.Derive.Arbitrary ( Data/Derive/Arbitrary.hs, dist/build/derive/derive-tmp/Data/Derive/Arbitrary.o )
[12 of 53] Compiling Data.Derive.ArbitraryOld ( Data/Derive/ArbitraryOld.hs, dist/build/derive/derive-tmp/Data/Derive/ArbitraryOld.o )
[13 of 53] Compiling Data.Derive.Arities ( Data/Derive/Arities.hs, dist/build/derive/derive-tmp/Data/Derive/Arities.o )
[14 of 53] Compiling Data.Derive.Binary ( Data/Derive/Binary.hs, dist/build/derive/derive-tmp/Data/Derive/Binary.o )
[15 of 53] Compiling Data.Derive.BinaryDefer ( Data/Derive/BinaryDefer.hs, dist/build/derive/derive-tmp/Data/Derive/BinaryDefer.o )
[16 of 53] Compiling Data.Derive.Bounded ( Data/Derive/Bounded.hs, dist/build/derive/derive-tmp/Data/Derive/Bounded.o )
[17 of 53] Compiling Data.Derive.Data ( Data/Derive/Data.hs, dist/build/derive/derive-tmp/Data/Derive/Data.o )
[18 of 53] Compiling Data.Derive.DataAbstract ( Data/Derive/DataAbstract.hs, dist/build/derive/derive-tmp/Data/Derive/DataAbstract.o )
[19 of 53] Compiling Data.Derive.Default ( Data/Derive/Default.hs, dist/build/derive/derive-tmp/Data/Derive/Default.o )
[20 of 53] Compiling Data.Derive.Enum ( Data/Derive/Enum.hs, dist/build/derive/derive-tmp/Data/Derive/Enum.o )
[21 of 53] Compiling Data.Derive.EnumCyclic ( Data/Derive/EnumCyclic.hs, dist/build/derive/derive-tmp/Data/Derive/EnumCyclic.o )
[22 of 53] Compiling Data.Derive.Eq   ( Data/Derive/Eq.hs, dist/build/derive/derive-tmp/Data/Derive/Eq.o )
[23 of 53] Compiling Data.Derive.Fold ( Data/Derive/Fold.hs, dist/build/derive/derive-tmp/Data/Derive/Fold.o )
[24 of 53] Compiling Data.Derive.From ( Data/Derive/From.hs, dist/build/derive/derive-tmp/Data/Derive/From.o )
[25 of 53] Compiling Data.Derive.Has  ( Data/Derive/Has.hs, dist/build/derive/derive-tmp/Data/Derive/Has.o )
[26 of 53] Compiling Data.Derive.Is   ( Data/Derive/Is.hs, dist/build/derive/derive-tmp/Data/Derive/Is.o )
[27 of 53] Compiling Data.Derive.JSON ( Data/Derive/JSON.hs, dist/build/derive/derive-tmp/Data/Derive/JSON.o )
[28 of 53] Compiling Data.Derive.LazySet ( Data/Derive/LazySet.hs, dist/build/derive/derive-tmp/Data/Derive/LazySet.o )
[29 of 53] Compiling Data.Derive.Lens ( Data/Derive/Lens.hs, dist/build/derive/derive-tmp/Data/Derive/Lens.o )
[30 of 53] Compiling Data.Derive.Monoid ( Data/Derive/Monoid.hs, dist/build/derive/derive-tmp/Data/Derive/Monoid.o )
[31 of 53] Compiling Data.Derive.NFData ( Data/Derive/NFData.hs, dist/build/derive/derive-tmp/Data/Derive/NFData.o )
[32 of 53] Compiling Data.Derive.Ord  ( Data/Derive/Ord.hs, dist/build/derive/derive-tmp/Data/Derive/Ord.o )
[33 of 53] Compiling Data.Derive.Read ( Data/Derive/Read.hs, dist/build/derive/derive-tmp/Data/Derive/Read.o )
[34 of 53] Compiling Data.Derive.Ref  ( Data/Derive/Ref.hs, dist/build/derive/derive-tmp/Data/Derive/Ref.o )
[35 of 53] Compiling Data.Derive.Serial ( Data/Derive/Serial.hs, dist/build/derive/derive-tmp/Data/Derive/Serial.o )
[36 of 53] Compiling Data.Derive.Serialize ( Data/Derive/Serialize.hs, dist/build/derive/derive-tmp/Data/Derive/Serialize.o )
[37 of 53] Compiling Data.Derive.Set  ( Data/Derive/Set.hs, dist/build/derive/derive-tmp/Data/Derive/Set.o )
[38 of 53] Compiling Data.Derive.Show ( Data/Derive/Show.hs, dist/build/derive/derive-tmp/Data/Derive/Show.o )
[39 of 53] Compiling Data.Derive.Typeable ( Data/Derive/Typeable.hs, dist/build/derive/derive-tmp/Data/Derive/Typeable.o )
[40 of 53] Compiling Data.Derive.UniplateDirect ( Data/Derive/UniplateDirect.hs, dist/build/derive/derive-tmp/Data/Derive/UniplateDirect.o )
[41 of 53] Compiling Data.Derive.UniplateTypeable ( Data/Derive/UniplateTypeable.hs, dist/build/derive/derive-tmp/Data/Derive/UniplateTypeable.o )
[42 of 53] Compiling Data.Derive.Update ( Data/Derive/Update.hs, dist/build/derive/derive-tmp/Data/Derive/Update.o )
[43 of 53] Compiling Data.Derive.Internal.Traversal ( Data/Derive/Internal/Traversal.hs, dist/build/derive/derive-tmp/Data/Derive/Internal/Traversal.o )
[44 of 53] Compiling Data.Derive.Foldable ( Data/Derive/Foldable.hs, dist/build/derive/derive-tmp/Data/Derive/Foldable.o )
[45 of 53] Compiling Data.Derive.Functor ( Data/Derive/Functor.hs, dist/build/derive/derive-tmp/Data/Derive/Functor.o )
[46 of 53] Compiling Data.Derive.Traversable ( Data/Derive/Traversable.hs, dist/build/derive/derive-tmp/Data/Derive/Traversable.o )
[47 of 53] Compiling Derive.Derivation ( Derive/Derivation.hs, dist/build/derive/derive-tmp/Derive/Derivation.o )
[48 of 53] Compiling Derive.Generate  ( Derive/Generate.hs, dist/build/derive/derive-tmp/Derive/Generate.o )
[49 of 53] Compiling Data.Derive.All  ( Data/Derive/All.hs, dist/build/derive/derive-tmp/Data/Derive/All.o )
[50 of 53] Compiling Derive.Test      ( Derive/Test.hs, dist/build/derive/derive-tmp/Derive/Test.o )
[51 of 53] Compiling Derive.Main      ( Derive/Main.hs, dist/build/derive/derive-tmp/Derive/Main.o )
[52 of 53] Compiling Data.DeriveMain  ( Data/DeriveMain.hs, dist/build/derive/derive-tmp/Data/DeriveMain.o )
[53 of 53] Compiling Main             ( Main.hs, dist/build/derive/derive-tmp/Main.o )
Linking dist/build/derive/derive ...
Running Haddock for derive-2.5.13...
Running hscolour for derive-2.5.13...
Preprocessing library derive-2.5.13...
Preprocessing executable 'derive' for derive-2.5.13...
Preprocessing library derive-2.5.13...
Haddock coverage:
  25% (  1 /  4) in 'Language.Haskell.TH.Compat'
   5% (  1 / 21) in 'Language.Haskell.TH.Data'
 100% (  2 /  2) in 'Language.Haskell.TH.ExpandSynonym'
   0% (  0 / 31) in 'Language.Haskell.TH.FixedPpr'
  47% ( 29 / 62) in 'Language.Haskell.TH.Helper'
   0% (  0 /  4) in 'Language.Haskell.TH.Peephole'
   0% (  0 /  2) in 'Data.Derive.Class.Default'
  20% (  1 /  5) in 'Data.Derive.Internal.Instance'
   0% (  0 /  2) in 'Data.Derive.Class.Arities'
   0% (  0 /  1) in 'Data.Derive.Instance.Arities'
   2% (  1 / 60) in 'Language.Haskell'
   0% (  0 /  3) in 'Language.Haskell.Convert'
   5% (  1 / 22) in 'Data.Derive.DSL.HSE'
   0% (  0 /  8) in 'Data.Derive.DSL.DSL'
   0% (  0 /  5) in 'Data.Derive.DSL.Apply'
   0% (  0 /  2) in 'Data.Derive.DSL.Derive'
   0% (  0 /  2) in 'Data.Derive.DSL.SYB'
   0% (  0 /  5) in 'Data.DeriveDSL'
   0% (  0 / 15) in 'Derive.Utils'
   0% (  0 /  2) in 'Derive.Generate'
   0% (  0 /  5) in 'Derive.Flags'
  70% (  7 / 10) in 'Language.Haskell.TH.All'
   0% (  0 /  8) in 'Data.Derive.Internal.Derivation'
   0% (  0 /  2) in 'Data.Derive.Arbitrary'
   0% (  0 /  3) in 'Data.Derive.ArbitraryOld'
   0% (  0 /  3) in 'Data.Derive.Arities'
   0% (  0 /  3) in 'Data.Derive.Binary'
   0% (  0 /  3) in 'Data.Derive.BinaryDefer'
   0% (  0 /  3) in 'Data.Derive.Bounded'
   0% (  0 /  2) in 'Data.Derive.Data'
  50% (  1 /  2) in 'Data.Derive.DataAbstract'
   0% (  0 /  3) in 'Data.Derive.Default'
   0% (  0 /  3) in 'Data.Derive.Enum'
   0% (  0 /  3) in 'Data.Derive.EnumCyclic'
   0% (  0 /  3) in 'Data.Derive.Eq'
  50% (  1 /  2) in 'Data.Derive.Fold'
  50% (  1 /  2) in 'Data.Derive.From'
  50% (  1 /  2) in 'Data.Derive.Has'
   0% (  0 /  2) in 'Data.Derive.Is'
 100% (  2 /  2) in 'Data.Derive.JSON'
  50% (  1 /  2) in 'Data.Derive.LazySet'
  50% (  1 /  2) in 'Data.Derive.Lens'
  50% (  1 /  2) in 'Data.Derive.Monoid'
   0% (  0 /  3) in 'Data.Derive.NFData'
   0% (  0 /  3) in 'Data.Derive.Ord'
  50% (  1 /  2) in 'Data.Derive.Read'
  50% (  1 /  2) in 'Data.Derive.Ref'
   0% (  0 /  3) in 'Data.Derive.Serial'
   0% (  0 /  3) in 'Data.Derive.Serialize'
  50% (  1 /  2) in 'Data.Derive.Set'
  50% (  1 /  2) in 'Data.Derive.Show'
  50% (  1 /  2) in 'Data.Derive.Typeable'
  50% (  1 /  2) in 'Data.Derive.UniplateDirect'
   0% (  0 /  3) in 'Data.Derive.UniplateTypeable'
  50% (  1 /  2) in 'Data.Derive.Update'
  86% (  6 /  7) in 'Data.Derive.Internal.Traversal'
   0% (  0 /  3) in 'Data.Derive.Foldable'
  33% (  1 /  3) in 'Data.Derive.Functor'
   0% (  0 /  3) in 'Data.Derive.Traversable'
   0% (  0 /  4) in 'Derive.Derivation'
Warning: derive-2.5.13:Data.Derive.All: Could not find documentation for exported module: D
  33% (  1 /  3) in 'Data.Derive.All'
  80% (  4 /  5) in 'Data.DeriveTH'
   0% (  0 /  2) in 'Derive.Test'
   0% (  0 /  2) in 'Derive.Main'
  50% (  1 /  2) in 'Data.DeriveMain'
Documentation created: dist/doc/html/derive/index.html
Preprocessing executable 'derive' for derive-2.5.13...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/derive-2.5.13
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering derive-2.5.13...
Installed derive-2.5.13
Downloading tamarin-prover-term-0.8.5.1...
Configuring tamarin-prover-term-0.8.5.1...
Building tamarin-prover-term-0.8.5.1...
Preprocessing library tamarin-prover-term-0.8.5.1...
[ 1 of 27] Compiling Term.Term.FunctionSymbols ( src/Term/Term/FunctionSymbols.hs, dist/build/Term/Term/FunctionSymbols.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package binary-0.7.1.0 ... linking ... done.
Loading package SHA-1.6.4 ... linking ... done.
Loading package base64-bytestring-1.0.0.1 ... linking ... done.
Loading package text-0.11.2.3 ... linking ... done.
Loading package blaze-builder-0.3.3.2 ... linking ... done.
Loading package dlist-0.5 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package fclabels-1.1.7.1 ... linking ... done.
Loading package parsec-3.1.3 ... linking ... done.
Loading package syb-0.4.1 ... linking ... done.
Loading package old-locale-1.0.0.5 ... linking ... done.
Loading package time-1.4.0.1 ... linking ... done.
Loading package tamarin-prover-utils-0.8.5.1 ... linking ... done.
Loading package split-0.1.2.3 ... linking ... done.
Loading package safe-0.3.4 ... linking ... done.
Loading package filepath-1.3.0.1 ... linking ... done.
Loading package unix-2.6.0.1 ... linking ... done.
Loading package directory-1.2.0.1 ... linking ... done.
Loading package old-time-1.1.0.1 ... linking ... done.
Loading package cpphs-1.18 ... linking ... done.
Loading package haskell-src-exts-1.14.0.1 ... linking ... done.
Loading package process-1.1.0.2 ... linking ... done.
Loading package hashable-1.2.1.0 ... linking ... done.
Loading package unordered-containers-0.2.3.3 ... linking ... done.
Loading package uniplate-1.6.12 ... linking ... done.
Loading package derive-2.5.13 ... linking ... done.
Loading package attoparsec-0.10.4.0 ... linking ... done.
Loading package HUnit-1.2.5.2 ... linking ... done.
[ 2 of 27] Compiling Term.Term.Classes ( src/Term/Term/Classes.hs, dist/build/Term/Term/Classes.o )
[ 3 of 27] Compiling Term.Term.Raw    ( src/Term/Term/Raw.hs, dist/build/Term/Term/Raw.o )
[ 4 of 27] Compiling Term.Term        ( src/Term/Term.hs, dist/build/Term/Term.o )
[ 5 of 27] Compiling Term.VTerm       ( src/Term/VTerm.hs, dist/build/Term/VTerm.o )
[ 6 of 27] Compiling Term.Positions   ( src/Term/Positions.hs, dist/build/Term/Positions.o )
[ 7 of 27] Compiling Term.Rewriting.Definitions ( src/Term/Rewriting/Definitions.hs, dist/build/Term/Rewriting/Definitions.o )
[ 8 of 27] Compiling Term.LTerm       ( src/Term/LTerm.hs, dist/build/Term/LTerm.o )
[ 9 of 27] Compiling Term.Substitution.SubstVFresh ( src/Term/Substitution/SubstVFresh.hs, dist/build/Term/Substitution/SubstVFresh.o )
[10 of 27] Compiling Term.Builtin.Signature ( src/Term/Builtin/Signature.hs, dist/build/Term/Builtin/Signature.o )
[11 of 27] Compiling Term.Builtin.Convenience ( src/Term/Builtin/Convenience.hs, dist/build/Term/Builtin/Convenience.o )
[12 of 27] Compiling Term.SubtermRule ( src/Term/SubtermRule.hs, dist/build/Term/SubtermRule.o )
[13 of 27] Compiling Term.Builtin.Rules ( src/Term/Builtin/Rules.hs, dist/build/Term/Builtin/Rules.o )
[14 of 27] Compiling Term.Maude.Signature ( src/Term/Maude/Signature.hs, dist/build/Term/Maude/Signature.o )
[15 of 27] Compiling Term.Substitution.SubstVFree ( src/Term/Substitution/SubstVFree.hs, dist/build/Term/Substitution/SubstVFree.o )
[16 of 27] Compiling Term.Substitution ( src/Term/Substitution.hs, dist/build/Term/Substitution.o )
[17 of 27] Compiling Term.Maude.Types ( src/Term/Maude/Types.hs, dist/build/Term/Maude/Types.o )
[18 of 27] Compiling Term.Maude.Parser ( src/Term/Maude/Parser.hs, dist/build/Term/Maude/Parser.o )
[19 of 27] Compiling Term.Maude.Process ( src/Term/Maude/Process.hs, dist/build/Term/Maude/Process.o )

src/Term/Maude/Process.hs:94:5: Warning:
    In the use of `addMVarFinalizer'
    (imported from Control.Concurrent, but defined in Control.Concurrent.MVar):
    Deprecated: "use mkWeakMVar instead"
[20 of 27] Compiling Term.Unification ( src/Term/Unification.hs, dist/build/Term/Unification.o )
[21 of 27] Compiling Term.Subsumption ( src/Term/Subsumption.hs, dist/build/Term/Subsumption.o )
[22 of 27] Compiling Term.Rewriting.Norm ( src/Term/Rewriting/Norm.hs, dist/build/Term/Rewriting/Norm.o )
[23 of 27] Compiling Term.Narrowing.Narrow ( src/Term/Narrowing/Narrow.hs, dist/build/Term/Narrowing/Narrow.o )
[24 of 27] Compiling Term.Narrowing.Variants.Check ( src/Term/Narrowing/Variants/Check.hs, dist/build/Term/Narrowing/Variants/Check.o )
[25 of 27] Compiling Term.Narrowing.Variants.Compute ( src/Term/Narrowing/Variants/Compute.hs, dist/build/Term/Narrowing/Variants/Compute.o )
[26 of 27] Compiling Term.Narrowing.Variants ( src/Term/Narrowing/Variants.hs, dist/build/Term/Narrowing/Variants.o )
[27 of 27] Compiling Term.UnitTests   ( src/Term/UnitTests.hs, dist/build/Term/UnitTests.o )
In-place registering tamarin-prover-term-0.8.5.1...
Running Haddock for tamarin-prover-term-0.8.5.1...
Running hscolour for tamarin-prover-term-0.8.5.1...
Preprocessing library tamarin-prover-term-0.8.5.1...
Preprocessing library tamarin-prover-term-0.8.5.1...

dist/build/tmp-22052/src/Term/Maude/Process.hs:94:5: Warning:
    In the use of `addMVarFinalizer'
    (imported from Control.Concurrent, but defined in Control.Concurrent.MVar):
    Deprecated: "use mkWeakMVar instead"
Haddock coverage:
  84% ( 27 / 32) in 'Term.Term.FunctionSymbols'
  50% (  1 /  2) in 'Term.Term.Classes'
  84% ( 16 / 19) in 'Term.Term.Raw'
  85% ( 57 / 67) in 'Term.Term'
doc comment parse failed:  @isVar t returns @True@ if @t@ is a variable.
  86% ( 70 / 81) in 'Term.VTerm'
 100% (  5 /  5) in 'Term.Positions'
 100% ( 11 / 11) in 'Term.Rewriting.Definitions'
  99% ( 66 / 67) in 'Term.LTerm'
 100% ( 29 / 29) in 'Term.Substitution.SubstVFresh'
 100% ( 14 / 14) in 'Term.Builtin.Signature'
   1% (  1 /121) in 'Term.Builtin.Convenience'
 100% (  8 /  8) in 'Term.SubtermRule'
 100% ( 12 / 12) in 'Term.Builtin.Rules'
  85% ( 23 / 27) in 'Term.Maude.Signature'
 100% ( 32 / 32) in 'Term.Substitution.SubstVFree'
 100% ( 69 / 69) in 'Term.Substitution'
  75% (  9 / 12) in 'Term.Maude.Types'
 100% (  8 /  8) in 'Term.Maude.Parser'
 100% ( 13 / 13) in 'Term.Maude.Process'
  89% ( 40 / 45) in 'Term.Unification'
doc comment parse failed:  @factorSubstOn s1 s2 vs@ factors the free substitution @s1@
   through free substitution @s2@ on @vs@,
   i.e., find a complete set of free substitutions s such that for all
   vars @x `elem` vs@:
   >  applyVTerm s1 x =AC= applyVTerm s (applyVTerm s2 x).
  88% (  7 /  8) in 'Term.Subsumption'
 100% (  6 /  6) in 'Term.Rewriting.Norm'
 100% (  2 /  2) in 'Term.Narrowing.Narrow'
 100% (  6 /  6) in 'Term.Narrowing.Variants.Check'
 100% (  5 /  5) in 'Term.Narrowing.Variants.Compute'
 100% (  4 /  4) in 'Term.Narrowing.Variants'
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
doc comment parse failed: 
   9% (  3 / 34) in 'Term.UnitTests'
Warning: Term.LTerm: could not find link destinations for:
    Term.LTerm.Occurence
Warning: Term.Substitution: could not find link destinations for:
    Term.Substitution.SubstVFresh.isRenamedVar
Warning: Term.Maude.Process: could not find link destinations for:
    Term.Maude.Process.MaudeProcess
Warning: Term.Subsumption: could not find link destinations for:
    Term.LTerm.Occurence
Documentation created: dist/doc/html/tamarin-prover-term/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tamarin-prover-term-0.8.5.1
Registering tamarin-prover-term-0.8.5.1...
Installed tamarin-prover-term-0.8.5.1