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