ocp2opam update