Error running `opam update`

[henrytill]

Given:

$ opam repo list --all
# Repository  # Url                                             # Switches(rank)
default       https://opam.ocaml.org                            <default> ocaml-system 5.2.0+ox(2/2) default fstar coq(2/2) rocq(1/2)
ox            git+https://github.com/oxcaml/opam-repository.git 5.2.0+ox(1/2)
rocq-released https://rocq-prover.org/opam/released             coq(1/2) rocq(2/2)

I see the following:

$ opam update ox

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[ox] synchronised from git+https://github.com/oxcaml/opam-repository.git
[ERROR] Could not update repository "ox": "/usr/bin/patch -p1 -i /home/ht/.opam/log/processed-patch-47160-d38428" exited with code 1

Seems quite similar to #12.

[avsm]

Try installing gpatch if you're on macOS, or upgrading to opam 2.4

[henrytill]

Ah yes, I forgot to mention! I'm using Debian Stable, stock opam (installed with apt).

$ cat /etc/debian_version 
13.1

$ opam --version
2.3.0

$ which opam
/usr/bin/opam

I've been using this approach for years without issue, and am disinclined to change that. Is there a known bug with 2.3.0?