[opam-devel] opam does not uninstall menhir properly

Francois Pottier Francois.Pottier at inria.fr
Thu Oct 22 07:40:49 BST 2015

Hi Anil & Sébastien,

On Wed, Oct 21, 2015 at 01:13:02PM -0700, Anil Madhavapeddy wrote:
> Thanks -- the uninstall can be fixed in the already-released versions (by adding the `rm` lines into the `remove` field in the `opam` file), and ideally the upstream would fix the actual Makefile problem.  I'm CCing the author, Francois Pottier to this mail.

Yes, I have just noticed this problem and (hopefully) fixed it this week.
It should be fixed in the next release.

François Pottier
Francois.Pottier at inria.fr

More information about the opam-devel mailing list