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