Resolving dependencies...
Downloading type-level-natural-number-2.0...
Configuring type-level-natural-number-2.0...
Building type-level-natural-number-2.0...
Preprocessing library type-level-natural-number-2.0...
[1 of 1] Compiling TypeLevel.NaturalNumber ( TypeLevel/NaturalNumber.hs, dist/build/TypeLevel/NaturalNumber.o )
In-place registering type-level-natural-number-2.0...
Running Haddock for type-level-natural-number-2.0...
Running hscolour for type-level-natural-number-2.0...
Preprocessing library type-level-natural-number-2.0...
Preprocessing library type-level-natural-number-2.0...
Haddock coverage:
   0% (  0 / 53) in 'TypeLevel.NaturalNumber'
Documentation created: dist/doc/html/type-level-natural-number/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/type-level-natural-number-2.0
Registering type-level-natural-number-2.0...
Installed type-level-natural-number-2.0