On 2022-09-06 10:56:14 +0200, julien.pu...@gmail.com wrote: > Le mardi 06 septembre 2022 à 09:41 +0200, Sebastian Ramacher a écrit : > > Control: tags -1 confirmed > > > > Please go ahead and let me know once you're done with all the > > uploads. > > "dput *_source.changes" in the directory where I prepared the new > uploads just finished.
The rebuild are now done, but there are some autopkgtest regressions. They all look like https://ci.debian.net/data/autopkgtest/testing/amd64/c/coq-iris/25883605/log.gz. Are there some packages that lack the proper dependencies? Cheers -- Sebastian Ramacher
