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 # 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 Cheers, -- Stéphane
