*** setup configure

Configuring yices-easy-0.1...
cabal-setup: At least the following dependencies are missing:
bindings-yices >=0.2