Hi, On Mon, Feb 13, 2023 at 3:14 PM Stéphane Glondu <glondu@debian.org> wrote: > > Hi, > > Le 07/02/2023 à 15:32, Stéphane Glondu a écrit : ... > > I've uploaded ocaml 4.13.1-4 and started binNMUing relevant packages on > native architectures, including riscv64. ppx-bin-prot built just fine there. Many thanks for doing this.:) BR, Bo > > Cheers, > > -- > Stéphane