Resolving dependencies...
Downloading dependent-sum-0.3.2.0...
Configuring dependent-sum-0.3.2.0...
Building dependent-sum-0.3.2.0...
Preprocessing library dependent-sum-0.3.2.0...
[1 of 4] Compiling Data.GADT.Show   ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o )
[2 of 4] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o )
[3 of 4] Compiling Data.Some        ( src/Data/Some.hs, dist/build/Data/Some.o )
[4 of 4] Compiling Data.Dependent.Sum ( src/Data/Dependent/Sum.hs, dist/build/Data/Dependent/Sum.o )
In-place registering dependent-sum-0.3.2.0...
Running Haddock for dependent-sum-0.3.2.0...
Running hscolour for dependent-sum-0.3.2.0...
Preprocessing library dependent-sum-0.3.2.0...
Preprocessing library dependent-sum-0.3.2.0...
Haddock coverage:
  38% (  3 /  8) in 'Data.GADT.Show'
  42% (  8 / 19) in 'Data.GADT.Compare'
   0% (  0 /  7) in 'Data.Some'
  31% (  5 / 16) in 'Data.Dependent.Sum'
Documentation created: dist/doc/html/dependent-sum/index.html,
dist/doc/html/dependent-sum/dependent-sum.txt
Creating package registration file: /tmp/pkgConf-dependent-sum-0.3.24719.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dependent-sum-0.3.2.0
Registering dependent-sum-0.3.2.0...
Installed dependent-sum-0.3.2.0