On 2022-09-10 12:59:12 +0200, Julien Puydt wrote: > 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.
coq-iris also currently FTBFS: COQC iris/prelude/options.v COQC iris/prelude/prelude.v File "./iris/prelude/prelude.v", line 2, characters 0-34: Error: File /usr/lib/ocaml/coq/user-contrib/stdpp/prelude.vo has bad version number 81500 (expected 81600). It is corrupted or was compiled with another version of Coq. make[4]: *** [Makefile.coq:793: iris/prelude/prelude.vo] Error 1 make[3]: *** [Makefile.coq:409: all] Error 2 I guess there are more packages coq-* that are currently installable although that shouldn't be. Otherwise they would turn up red on the transition tracker. Cheers -- Sebastian Ramacher
