OPAM 1.2 used