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.