Bug#1019239: transition: coq (41 packages involved)
On 2022-09-06 10:56:14 +0200, julien.puydt@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
Reply to: