Build #1 for presburger-1.3
| Package | presburger-1.3 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-01-06 17:55:23.361375 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | pretty-1.1.1.1, containers-0.5.5.1, base-4.7.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading presburger-1.3...
Configuring presburger-1.3...
Building presburger-1.3...
Preprocessing library presburger-1.3...
[1 of 1] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, dist/build/Data/Integer/SAT.o )
src/Data/Integer/SAT.hs:44:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
In-place registering presburger-1.3...
Running Haddock for presburger-1.3...
Running hscolour for presburger-1.3...
Preprocessing library presburger-1.3...
Preprocessing library presburger-1.3...
src/Data/Integer/SAT.hs:44:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
Haddock coverage:
46% ( 13 / 28) in 'Data.Integer.SAT'
Warning: Data.Integer.SAT: could not find link destinations for:
Data.Integer.SAT.Solutions Data.Integer.SAT.Inerts Data.Integer.SAT.Term
Documentation created: dist/doc/html/presburger/index.html,
dist/doc/html/presburger/presburger.txt
Creating package registration file: /tmp/pkgConf-presburger-113315.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/presburger-1.3
Registering presburger-1.3...
Installed presburger-1.3
Test log
No test log was submitted for this report.