Resolving dependencies...
Downloading dependent-sum-0.2.1.0...
Configuring dependent-sum-0.2.1.0...
Building dependent-sum-0.2.1.0...
Preprocessing library dependent-sum-0.2.1.0...
[1 of 5] Compiling Data.GADT.Show   ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o )
[2 of 5] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o )
[3 of 5] Compiling Data.Dependent.Sum[boot] ( src/Data/Dependent/Sum.hs-boot, dist/build/Data/Dependent/Sum.o-boot )
[4 of 5] Compiling Data.Dependent.Sum.Typeable ( src/Data/Dependent/Sum/Typeable.hs, dist/build/Data/Dependent/Sum/Typeable.o )
[5 of 5] Compiling Data.Dependent.Sum ( src/Data/Dependent/Sum.hs, dist/build/Data/Dependent/Sum.o )
In-place registering dependent-sum-0.2.1.0...
Running Haddock for dependent-sum-0.2.1.0...
Running hscolour for dependent-sum-0.2.1.0...
Preprocessing library dependent-sum-0.2.1.0...
Preprocessing library dependent-sum-0.2.1.0...
Haddock coverage:
  38% (  3 /  8) in 'Data.GADT.Show'
  88% (  7 /  8) in 'Data.GADT.Compare'
 100% (  1 /  1) in 'Data.Dependent.Sum.Typeable'
  67% (  4 /  6) in 'Data.Dependent.Sum'
Documentation created: dist/doc/html/dependent-sum/index.html,
dist/doc/html/dependent-sum/dependent-sum.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/dependent-sum-0.2.1.0
Registering dependent-sum-0.2.1.0...
Installed dependent-sum-0.2.1.0