On 4 May 2022 at 11:32, Martin Maechler wrote: | I'm really sorry for this experience. Stuff happens -- thanks for fixing it. The weekly build for the rocker/drd container of r-devel (and r-patched) worked fine now that you restored the mirror, so big thanks! Dirk -- dirk.eddelbuettel.com | @eddelbuettel | edd using debian.org