Resolving dependencies...
Downloading acl2-0.0.1...
Configuring acl2-0.0.1...
Building acl2-0.0.1...
Preprocessing library acl2-0.0.1...
[1 of 1] Compiling Language.ACL2    ( Language/ACL2.hs, dist/build/Language/ACL2.o )
In-place registering acl2-0.0.1...
Running Haddock for acl2-0.0.1...
Running hscolour for acl2-0.0.1...
Preprocessing library acl2-0.0.1...
Preprocessing library acl2-0.0.1...
Haddock coverage:
   2% (  1 / 48) in 'Language.ACL2'
Documentation created: dist/doc/html/acl2/index.html,
dist/doc/html/acl2/acl2.txt
Creating package registration file: /tmp/pkgConf-acl2-0.018642.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/acl2-0.0.1
Registering acl2-0.0.1...
Installed acl2-0.0.1
Downloading dove-0.0.0...
Configuring dove-0.0.0...
Building dove-0.0.0...
Preprocessing library dove-0.0.0...
[1 of 4] Compiling Language.Dove.Syntax ( Language/Dove/Syntax.hs, dist/build/Language/Dove/Syntax.o )
[2 of 4] Compiling Language.Dove.Optimize ( Language/Dove/Optimize.hs, dist/build/Language/Dove/Optimize.o )
[3 of 4] Compiling Language.Dove.ACL2 ( Language/Dove/ACL2.hs, dist/build/Language/Dove/ACL2.o )
[4 of 4] Compiling Language.Dove    ( Language/Dove.hs, dist/build/Language/Dove.o )
In-place registering dove-0.0.0...
Running Haddock for dove-0.0.0...
Running hscolour for dove-0.0.0...
Preprocessing library dove-0.0.0...
Preprocessing library dove-0.0.0...
Haddock coverage:
   0% (  0 / 23) in 'Language.Dove.Syntax'
   0% (  0 /  2) in 'Language.Dove.Optimize'
  25% (  1 /  4) in 'Language.Dove.ACL2'
  75% (  3 /  4) in 'Language.Dove'
Documentation created: dist/doc/html/dove/index.html,
dist/doc/html/dove/dove.txt
Creating package registration file: /tmp/pkgConf-dove-0.018642.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dove-0.0.0
Registering dove-0.0.0...
Installed dove-0.0.0