Resolving dependencies...
Downloading simple-smt-0.5.2...
Configuring simple-smt-0.5.2...
Building simple-smt-0.5.2...
Preprocessing library simple-smt-0.5.2...
[1 of 1] Compiling SimpleSMT        ( SimpleSMT.hs, dist/build/SimpleSMT.o )
In-place registering simple-smt-0.5.2...
Running Haddock for simple-smt-0.5.2...
Running hscolour for simple-smt-0.5.2...
Preprocessing library simple-smt-0.5.2...
Preprocessing library simple-smt-0.5.2...
Haddock coverage:
 100% (100 /100) 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.59347.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/simple-smt-0.5.2
Registering simple-smt-0.5.2...
Installed simple-smt-0.5.2