check packages is in opam