ocaml/opam-repository — pull request #1275 by polazarus (2013-11-07 16:09:27+00:00)
Title: Add Ocamlyices and fix latest Oclock

Add Opam package for Ocamlyices a binding to the Yices SMT solver.
I also removed a superfluous dependency in Oclock.
Cheers