Sorry about that. GNU patch has known issues, however there are solutions:
If running a beta version doesn’t suit you, you can instead do:
rm -rf ~/.opam/repo/default && opam update
Sorry about that. GNU patch has known issues, however there are solutions:
If running a beta version doesn’t suit you, you can instead do:
rm -rf ~/.opam/repo/default && opam update