Build #1 for simple-smt-0.5.0
| Package | simple-smt-0.5.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-01-13 22:27:21.020862 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | process-1.2.0.0, base-4.7.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading simple-smt-0.5.0... Configuring simple-smt-0.5.0... Building simple-smt-0.5.0... Preprocessing library simple-smt-0.5.0... [1 of 1] Compiling SimpleSMT ( SimpleSMT.hs, dist/build/SimpleSMT.o ) In-place registering simple-smt-0.5.0... Running Haddock for simple-smt-0.5.0... Running hscolour for simple-smt-0.5.0... Preprocessing library simple-smt-0.5.0... Preprocessing library simple-smt-0.5.0... Haddock coverage: 100% ( 98 / 98) 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.526240.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/simple-smt-0.5.0 Registering simple-smt-0.5.0... Installed simple-smt-0.5.0
Test log
No test log was submitted for this report.