add a version constraint in opam