Hi Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher <sramac...@debian.org> a écrit :
> 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? > Hmmmm... It shouldn't even be possible to co-install packages not compiled with the same coq, so I'll need to dig a bit to understand why the failure happened this late in the test. Cheers, J.Puydt >
