Bug#1019239: transition: coq (41 packages involved)

[julien.puydt@gmail.com]

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.

I think this transition bug can be closed.

Cheers,

J.Puydt