opam version = 1.1 for qcheck