Bug#1019239: transition: coq (41 packages involved)
On 2022-09-11 13:35:11 +0200, julien.puydt@gmail.com 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
Reply to: