Build #1 for presburger-1.3

[all reports]

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

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