[opam-devel] opam does not uninstall menhir properly

[Francois Pottier]

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
http://gallium.inria.fr/~fpottier/