Я изменил некоторые файлы в ~/.opam/repo/default/packages/ без резервного копирования и хочу их восстановить. Я пробовал opam update, но это не удалось с сообщением
[default] synchronised from git+https://github.com/fdopen/opam-repository-mingw.
git#opam2
[ERROR] Could not update repository "default": "C:\\OCaml64\\bin\\patch.exe -p1
-i /home/username/.opam/log/processed-patch-11596-42bb52" exited with
code 1
Так что, похоже, opam update не работает, потому что он использует patch для обновления файлов, что требует, чтобы файлы были такими же, как и при создании патча. Я спрашиваю, есть ли способ восстановить файлы?