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

[Julien Puydt <julien.puydt@gmail.com>]

Hi

Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher <sramacher@debian.org> 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?

The fact that the coq-iris package isn't a version 4.0.0-1+b1 isn't normal - I guess my wanna-build script was buggy and didn't give every needed nmu line. (I rewrote it since... the new one should be better...)

I'll need to check the failing packages - probably monday.

Cheers,

J.Puydt