Could not update local repository: processed-patch failed #3433
Description
On OpenBSD I regularly get this error when updating from my local opam repository:
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[local] synchronised from file:///home/madroach/src/opam-repository
[ERROR] Could not update repository "local": "/usr/bin/patch -p1 -i /home/madroach/opam/log/processed-patch-63718-42bb52" exited with code 2
I can work around this problem by removing and re-adding the repository.
# opam config report
# opam-version 2.0.0~rc3
# self-upgrade no
# system arch=x86_64 os=openbsd os-distribution=openbsd os-version=6.3
# solver builtin-mccs+glpk
# install-criteria -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria -removed,-count[version-lag,solution],-new
# jobs 1
# repositories 1 (local)
# pinned 0
# current-switch default