Build #1 for presburger-1.1
| Package | presburger-1.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | pretty-1.1.1.0, containers-0.5.0.0, base-4.6.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading presburger-1.1... Configuring presburger-1.1... Building presburger-1.1... Preprocessing library presburger-1.1... [1 of 1] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, dist/build/Data/Integer/SAT.o ) In-place registering presburger-1.1... Running Haddock for presburger-1.1... Running hscolour for presburger-1.1... Preprocessing library presburger-1.1... Preprocessing library presburger-1.1... Haddock coverage: 69% ( 9 / 13) in 'Data.Integer.SAT' Documentation created: dist/doc/html/presburger/index.html Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/presburger-1.1 Registering presburger-1.1... Installed presburger-1.1
Test log
No test log was submitted for this report.