Como desinstalar libgalax-ocaml-dev do Debian 9 (Stretch)