On 2022-09-11 13:35:11 +0200, [email protected] wrote: > Le samedi 10 septembre 2022 à 12:12 +0200, Sebastian Ramacher a écrit : > > > > 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? > > > Yes, there were three bad packages: > - coq-menhirlib > - coq-stdpp > - coq-iris > > and I already worked on the first two, with the third to follow later > today.
Great thanks. > I think this transition bug can be closed. We usually close transition bugs once the transition is done, i.e., everything migrated to testing. Best Sebastian -- Sebastian Ramacher
