Closed avsm closed 11 years ago
(workaround was to just specify opam install core_extended github
which forced it to not remove the other ones)
Hum b16b5a3b53b68b6491676552bfac2cddc7d5ed6c should have fixed this, normally. I'll look into this again ...
Argh, I have a sudden doubt that my Mac's OPAM isn't up to date then. I also just submitted a brew update.
I second Daniel's suggestion of baking the git id into --version
so that I can just record that to be sure...
On 10 Feb 2013, at 22:34, Thomas Gazagnaire notifications@github.com wrote:
Hum b16b5a3 should have fixed this, normally. I'll look into this again ...
— Reply to this email directly or view it on GitHub..
I plan to release 0.9.3 at the beginning of next week btw
So closing the issue as it seems to be closed in 0.9.3 (note that the bug is in opam upgrade
which remove install roots, so upgrading your OPAM to latest version will not be enough: you'll need to manually edit $(opam config var prefix)/installed.roots
to add the packages that you want to keep)
With latest OPAM, I now get this:
Pleeeeease don't remove all those other packages, I just want
core_extended
! :)