Resolving dependencies...
Downloading hBDD-0.0.2...
Configuring hBDD-0.0.2...
Building hBDD-0.0.2...
Preprocessing library hBDD-0.0.2...
[1 of 2] Compiling Data.Boolean     ( Data/Boolean.hs, dist/build/Data/Boolean.o )
[2 of 2] Compiling Data.Boolean.BF  ( Data/Boolean/BF.hs, dist/build/Data/Boolean/BF.o )
In-place registering hBDD-0.0.2...
Running Haddock for hBDD-0.0.2...
Running hscolour for hBDD-0.0.2...
Preprocessing library hBDD-0.0.2...
Preprocessing library hBDD-0.0.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0
Haddock coverage:
 100% ( 18 / 18) in 'Data.Boolean'
Warning: Data.Boolean.BF: We do not support associated types in instances yet. These instances are affected:
Data.Boolean.QBF Data.Boolean.BF.BF, Data.Boolean.Substitution Data.Boolean.BF.BF
 100% (  3 /  3) in 'Data.Boolean.BF'
Documentation created: dist/doc/html/hBDD/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/hBDD-0.0.2/ghc-7.6.3
Registering hBDD-0.0.2...
Installed hBDD-0.0.2
Downloading hBDD-CUDD-0.0.2...
Configuring hBDD-CUDD-0.0.2...
cabal: The program c2hs is required but it could not be found.
Failed to install hBDD-CUDD-0.0.2
cabal: Error: some packages failed to install:
hBDD-CUDD-0.0.2 failed during the configure step. The exception was:
ExitFailure 1