bindings-yices 0.3.0.2

1 Reverse dep Accepted versions
yices-easy >=0.2