I have installed opam the quick & dirty way, got version 2.1.5. Now I don’t like that decision, and I want to switch to my distribution’s packaged version, which is 2.1.2. Can I keep my ~/.opam and my local switches, or do I have to reinstall everything?
Don’t take my word for it, but that small downgrade should be fine. I think both versions use version 2.1 of the local opam database in ~/.opam.
What you can’t downgrade is from 2.1 to 2.0 because that database cannot be downgraded, only upgraded once.
1 Like