You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I tried to upgrade to opam 2 rc2. First I did opam update && opam upgrade, but that did not actually decide to update opam-devel. So I did opam install opam-devel.2.0.0~rc2, which did a bunch of stuff and then succeeded. However:
I tried opam reinstall opam-devel and even uninstall followed by install, to no avail -- opam still claims it is the old version. Did the upgrade fail, or is the version number just wrong? I think it is the latter, because opam --reinitis talking about these shell hooks that got added in the rc2.
I tried to upgrade to opam 2 rc2. First I did
opam update && opam upgrade
, but that did not actually decide to updateopam-devel
. So I didopam install opam-devel.2.0.0~rc2
, which did a bunch of stuff and then succeeded. However:I tried
opam reinstall opam-devel
and even uninstall followed by install, to no avail -- opam still claims it is the old version. Did the upgrade fail, or is the version number just wrong? I think it is the latter, becauseopam --reinit
is talking about these shell hooks that got added in the rc2.The text was updated successfully, but these errors were encountered: