Hi Le sam. 10 sept. 2022 à 12:12, Sebastian Ramacher <sramac...@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
