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
