Build #1 for simple-smt-0.5.1
| Package | simple-smt-0.5.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-01-14 21:46:35.368589 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.1... Configuring simple-smt-0.5.1... Building simple-smt-0.5.1... Preprocessing library simple-smt-0.5.1... [1 of 1] Compiling SimpleSMT ( SimpleSMT.hs, dist/build/SimpleSMT.o ) In-place registering simple-smt-0.5.1... Running Haddock for simple-smt-0.5.1... Running hscolour for simple-smt-0.5.1... Preprocessing library simple-smt-0.5.1... Preprocessing library simple-smt-0.5.1... 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.523914.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/simple-smt-0.5.1 Registering simple-smt-0.5.1... Installed simple-smt-0.5.1
Test log
No test log was submitted for this report.