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
