Thanks for your report. I have some further questions:
- did
~/.opam/repo/default
exist? - does
~/.opam/repo/default.tar.gz
exist?
In case you still have an errorneous state, could you remove the ~/.opam/repo/default.tar.gz
(if it exists), do a opam update
and then whatever you intended to do, please?
Thanks a lot!