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 [email protected] http://gallium.inria.fr/~fpottier/ _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
