Resolving dependencies...
Downloading TypeNat-0.4.0.1...
Configuring TypeNat-0.4.0.1...
Building TypeNat-0.4.0.1...
Preprocessing library TypeNat-0.4.0.1...
[1 of 3] Compiling Data.TypeNat.Nat ( Data/TypeNat/Nat.hs, dist/build/Data/TypeNat/Nat.o )
[2 of 3] Compiling Data.TypeNat.Vect ( Data/TypeNat/Vect.hs, dist/build/Data/TypeNat/Vect.o )
[3 of 3] Compiling Data.TypeNat.Fin ( Data/TypeNat/Fin.hs, dist/build/Data/TypeNat/Fin.o )
In-place registering TypeNat-0.4.0.1...
Running Haddock for TypeNat-0.4.0.1...
Running hscolour for TypeNat-0.4.0.1...
Preprocessing library TypeNat-0.4.0.1...
Preprocessing library TypeNat-0.4.0.1...
Haddock coverage:
  19% (  3 / 16) in 'Data.TypeNat.Nat'
  75% (  6 /  8) in 'Data.TypeNat.Vect'
  21% (  3 / 14) in 'Data.TypeNat.Fin'
Documentation created: dist/doc/html/TypeNat/index.html,
dist/doc/html/TypeNat/TypeNat.txt
Creating package registration file: /tmp/pkgConf-TypeNat-0.4.024754.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/TypeNat-0.4.0.1
Registering TypeNat-0.4.0.1...
Installed TypeNat-0.4.0.1