Le 16/08/2024 à 07:19, Paul Gevers a écrit :
The OCaml compiler has two compilation modes: native and vm.
The new version disabled the native mode on 32bits architectures.
Some packages that were ok with the last version aren't anymore.
Hope that makes things clearer,
Partially. My (not explicitly asked) question remains: what needs to be
done with those packages? Fix them in this transition? RC bugs filed and
removal from testing? Removal for those architectures only (are bugs
filed already, the release team can't remove architecture specific
packages)?
For coq-related packages:
Removal for those architectures (armhf and i386) only, see:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078252
There is no associated RC bug.
And there is also a portability issue on ppc64el that is being
investigated but might take some time. Meanwhile, I've asked for removal
of the affected binaries:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078578
For this issue specifically, I also filed a RC bug:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078549
To ease the transition, my suggestion was to remove all coq-related
packages from testing and let them flow back to testing when RM bugs are
processed. I remind them here:
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
Despite the big number, they form a self-contained cluster.
For other packages, they must be removed from testing for the time
being. RC bugs were filed:
hol-light (#1073882)
ocaml-ffmpeg (#1072440)
ocaml-lo (#1075329)
pa-ounit (#1073907)
ppx-tools (#1078383)
sks (#1073911)
Cheers,
--
Stéphane
