On 2022-01-24 07:30:44 +0100, Stéphane Glondu wrote: > 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
Removal hint added. > - ppx-tools-versioned (#1002941), ppxfind (#1002942): they seem > deprecated, should be removed from testing That would also require removal of: coq-elpi coq-hierarchy-builder elpi haxe liquidsoap mercurial-buildpackage morbig morsmall node-carto node-hsluv ocaml-sedlex ocaml-visitors pgocaml ppx-deriving ppx-deriving-yojson > - sks (#1002657): a patch is available > - llvm-toolchain-11 (#1002607), llvm-toolchain-12 (#1002608): the fix is > trivial Those have been fixed. > - 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 Removal hints added. Cheers > - 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 > -- Sebastian Ramacher
signature.asc
Description: PGP signature
