Resolving dependencies...
Downloading smtLib-1.0.7...
Configuring smtLib-1.0.7...
Building smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
[ 1 of 13] Compiling SMTLib2.AST      ( src/SMTLib2/AST.hs, dist/build/SMTLib2/AST.o )
[ 2 of 13] Compiling SMTLib2.PP       ( src/SMTLib2/PP.hs, dist/build/SMTLib2/PP.o )
[ 3 of 13] Compiling SMTLib2.Core     ( src/SMTLib2/Core.hs, dist/build/SMTLib2/Core.o )
[ 4 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist/build/SMTLib2/BitVector.o )
[ 5 of 13] Compiling SMTLib2.Array    ( src/SMTLib2/Array.hs, dist/build/SMTLib2/Array.o )
[ 6 of 13] Compiling SMTLib2.Int      ( src/SMTLib2/Int.hs, dist/build/SMTLib2/Int.o )
[ 7 of 13] Compiling SMTLib2          ( src/SMTLib2.hs, dist/build/SMTLib2.o )
[ 8 of 13] Compiling SMTLib1.AST      ( src/SMTLib1/AST.hs, dist/build/SMTLib1/AST.o )
[ 9 of 13] Compiling SMTLib1.PP       ( src/SMTLib1/PP.hs, dist/build/SMTLib1/PP.o )
[10 of 13] Compiling SMTLib2.Compat1  ( src/SMTLib2/Compat1.hs, dist/build/SMTLib2/Compat1.o )
[11 of 13] Compiling SMTLib1          ( src/SMTLib1.hs, dist/build/SMTLib1.o )
[12 of 13] Compiling SMTLib1.QF_BV    ( src/SMTLib1/QF_BV.hs, dist/build/SMTLib1/QF_BV.o )
[13 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist/build/SMTLib1/QF_AUFBV.o )
In-place registering smtLib-1.0.7...
Running Haddock for smtLib-1.0.7...
Running hscolour for smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
Preprocessing library smtLib-1.0.7...
Haddock coverage:
   0% (  0 / 16) in 'SMTLib2.AST'
   0% (  0 /  3) in 'SMTLib2.PP'
   0% (  0 / 12) in 'SMTLib2.Core'
   0% (  0 / 38) in 'SMTLib2.BitVector'
   0% (  0 /  4) in 'SMTLib2.Array'
   0% (  0 / 14) in 'SMTLib2.Int'
   0% (  0 / 17) in 'SMTLib2'
   8% (  2 / 26) in 'SMTLib1.AST'
   0% (  0 /  2) in 'SMTLib1.PP'
   0% (  0 / 16) in 'SMTLib2.Compat1'
   7% (  2 / 27) in 'SMTLib1'
Warning: smtLib-1.0.7:SMTLib1.QF_BV: Could not find documentation for exported module: X
   8% (  3 / 40) in 'SMTLib1.QF_BV'
Warning: smtLib-1.0.7:SMTLib1.QF_AUFBV: Could not find documentation for exported module: X
  75% (  3 /  4) in 'SMTLib1.QF_AUFBV'
Documentation created: dist/doc/html/smtLib/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/smtLib-1.0.7
Registering smtLib-1.0.7...
Installed smtLib-1.0.7