Build #1 for presburger-1.3.1
| Package | presburger-1.3.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-03-24 23:53:34.903655 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...
Configuring presburger-1.3.1...
Building presburger-1.3.1...
Preprocessing library presburger-1.3.1...
[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.1...
Running Haddock for presburger-1.3.1...
Running hscolour for presburger-1.3.1...
Preprocessing library presburger-1.3.1...
Preprocessing library presburger-1.3.1...
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-1.312612.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/presburger-1.3.1
Registering presburger-1.3.1...
Installed presburger-1.3.1
Test log
No test log was submitted for this report.