[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