Resolving dependencies...
Downloading cabalvchk-0.3...
Configuring cabalvchk-0.3...
Building cabalvchk-0.3...
Preprocessing executable 'cabalvchk' for cabalvchk-0.3...
[1 of 1] Compiling Main             ( ghcpkgchk.hs, dist/build/cabalvchk/cabalvchk-tmp/Main.o )
Linking dist/build/cabalvchk/cabalvchk ...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables flag.
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Installed cabalvchk-0.3