Resolving dependencies...
Downloading simple-smt-0.5.4...
Configuring simple-smt-0.5.4...
Building simple-smt-0.5.4...
Preprocessing library simple-smt-0.5.4...
[1 of 1] Compiling SimpleSMT        ( SimpleSMT.hs, dist/build/SimpleSMT.o )
In-place registering simple-smt-0.5.4...
Running Haddock for simple-smt-0.5.4...
Running hscolour for simple-smt-0.5.4...
Preprocessing library simple-smt-0.5.4...
Preprocessing library simple-smt-0.5.4...
Haddock coverage:
 100% (102 /102) in 'SimpleSMT'
Documentation created: dist/doc/html/simple-smt/index.html,
dist/doc/html/simple-smt/simple-smt.txt
Creating package registration file: /tmp/pkgConf-simple-smt-0.528022.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/simple-smt-0.5.4
Registering simple-smt-0.5.4...
Installed simple-smt-0.5.4