Hi, > On 2022-11-18 14:49:28, Moritz Mühlenhoff wrote: > > There is https://apt.wikimedia.org/wikimedia/pool/main/c/cumin/ which > > would be a good starting point. > > ... if you don't mind, I'll start here instead: > > https://github.com/wikimedia/cumin/tree/debian > > i assume those are roughly equivalent?
Yeah, the canonical repo is https://gerrit.wikimedia.org/g/operations/software/cumin, but the Github mirror will also do fine. Cheers, Moritz