[help wanted] crowd-sourcing package build fixes in opam-repository

Community
11

I’m sure CI freaks like @avsm or @kit-ty-kate have ideas about this.