Le 19/01/2022 à 09:34, Sebastian Ramacher a écrit : > The libguestfs build for the php8.1 transition migrated, so this > transition can proceed. Please go ahead.
5 days later, most of packages have been rebuilt with the new OCaml. The remaining outliers are: - hol-light (#1002983): the fix is not trivial and upstream doesn't seem interested in supporting a modern toolchain, should be removed from testing for the time being - otags (#1002940): seems dead upstream, should be removed from testing for the time being - ppx-tools-versioned (#1002941), ppxfind (#1002942): they seem deprecated, should be removed from testing - sks (#1002657): a patch is available - llvm-toolchain-11 (#1002607), llvm-toolchain-12 (#1002608): the fix is trivial - eliom: a new upstream release is available, but it needs ocsipersist which is sitting in NEW... can be removed temporarily from testing if needed - nurpawiki: depends on eliom, can be removed temporarily from testing if needed - llvm-toolchain-9: not in testing... as far as I understand, should be removed from Debian altogether - why3, frama-c: not in testing... FTBFS at the moment, but should be fixed in the future Cheers, -- Stéphane
