[opam-devel] opam does not uninstall menhir properly

Sébastien Hinderer Sebastien.Hinderer at inria.fr
Thu Oct 22 09:05:31 BST 2015


Dear Anil, dear François,

Many thanks for your help.

Best wishes,

Sébastien.


More information about the opam-devel mailing list