Choice of the OPAM version