On 12/08/2024 07:37, Stéphane Glondu wrote:
Le 07/08/2024 à 10:18, Emilio Pozuelo Monfort a écrit :Let's go ahead with this one.The needed recompilations are mostly done. As expected, removal hints will be needed, which I've put in 3 categories: # Independent broken packages hol-light (#1073882) ocaml-ffmpeg (#1072440) ocaml-lo (#1075329) pa-ounit (#1073907) ppx-tools (#1078383) sks (#1073911) # libguestfs related packages (#1078470) guestfs-tools libguestfs virt-v2v guestfs-tools ceilometer-instance-poller ironic-python-agent nbdkit virt-p2v qemu-web-desktop oz kworkflow virtnbdbackup
I see the bug has a patch. I'd rather it gets fixed rather than removing all of that, if possible.
# coq related packages (#1078252) aac-tactics coq coq-bignums coq-corn coq-deriving coq-doc coq-dpdgraph coqeal coq-elpi coq-equations coq-ext-lib coq-extructures coq-gappa coq-hammer coq-hierarchy-builder coq-hott coq-interval coq-iris coq-libhyps coq-math-classes coq-menhirlib coq-mtac2 coqprime coq-quickchick coq-record-update coq-reduction-effects coq-reglang coq-relation-algebra coq-serapi coq-simple-io coq-stdpp coquelicot coq-unicoq coq-unimath elpi flocq mathcomp-algebra-tactics mathcomp-analysis mathcomp-bigenough mathcomp-finmap mathcomp-multinomials mathcomp-real-closed mathcomp-zify ott paramcoq ssreflect
Those should be removed in unstable by ftp-masters, then the removal will be propagated to testing once the transition migrates.
Cheers, Emilio