Build #1 for simple-smt-0.5.2
| Package | simple-smt-0.5.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-01-14 23:21:05.566936 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.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
Test log
No test log was submitted for this report.