Display a warning if one of the base package is not installed
More stats
Fix update of compiler description on 'opam update'.
Merge branch 'master' of github.com:OCamlPro/opam