Resolving dependencies...
Downloading presburger-1.1...
Configuring presburger-1.1...
Building presburger-1.1...
Preprocessing library presburger-1.1...
[1 of 1] Compiling Data.Integer.SAT ( src/Data/Integer/SAT.hs, dist/build/Data/Integer/SAT.o )
In-place registering presburger-1.1...
Running Haddock for presburger-1.1...
Running hscolour for presburger-1.1...
Preprocessing library presburger-1.1...
Preprocessing library presburger-1.1...
Haddock coverage:
  69% (  9 / 13) in 'Data.Integer.SAT'
Documentation created: dist/doc/html/presburger/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/presburger-1.1
Registering presburger-1.1...
Installed presburger-1.1