Dear Anil, dear François, Many thanks for your help.
Best wishes, Sébastien. _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
- [opam-devel] opam does not uninstall menhir properly Sébastien Hinderer
- Re: [opam-devel] opam does not uninstall menhir p... Anil Madhavapeddy
- Re: [opam-devel] opam does not uninstall menh... Francois Pottier
- Re: [opam-devel] opam does not uninstall ... Sébastien Hinderer
