Resolving dependencies... Downloading dependent-sum-0.3.2.1... Configuring dependent-sum-0.3.2.1... Building dependent-sum-0.3.2.1... Preprocessing library dependent-sum-0.3.2.1... [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.1... Running Haddock for dependent-sum-0.3.2.1... Running hscolour for dependent-sum-0.3.2.1... Preprocessing library dependent-sum-0.3.2.1... Preprocessing library dependent-sum-0.3.2.1... 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.26375.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dependent-sum-0.3.2.1 Registering dependent-sum-0.3.2.1... Installed dependent-sum-0.3.2.1 Downloading dependent-map-0.2.0.1... Configuring dependent-map-0.2.0.1... Building dependent-map-0.2.0.1... Preprocessing library dependent-map-0.2.0.1... [1 of 2] Compiling Data.Dependent.Map.Internal ( src/Data/Dependent/Map/Internal.hs, dist/build/Data/Dependent/Map/Internal.o ) [2 of 2] Compiling Data.Dependent.Map ( src/Data/Dependent/Map.hs, dist/build/Data/Dependent/Map.o ) In-place registering dependent-map-0.2.0.1... Running Haddock for dependent-map-0.2.0.1... Running hscolour for dependent-map-0.2.0.1... Preprocessing library dependent-map-0.2.0.1... Preprocessing library dependent-map-0.2.0.1... Haddock coverage: 28% ( 8 / 29) in 'Data.Dependent.Map.Internal' 98% (103 /105) in 'Data.Dependent.Map' Documentation created: dist/doc/html/dependent-map/index.html, dist/doc/html/dependent-map/dependent-map.txt Creating package registration file: /tmp/pkgConf-dependent-map-0.2.06375.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dependent-map-0.2.0.1 Registering dependent-map-0.2.0.1... Installed dependent-map-0.2.0.1