That’s my bad, I’m too used to opam 2.2 that I forgot opam 2.1 used a different format (defaut as a directory vs. default.tar.gz):
rm -rf ~/.opam/repo/default{,.tar.gz} && opam update default
should work
3 Likes