Package: ftp.debian.org Severity: normal X-Debbugs-Cc: coq...@packages.debian.org, debian-ocaml-ma...@lists.debian.org Control: affects -1 + src:coqeal User: ftp.debian....@packages.debian.org Usertags: remove User: debian-ocaml-ma...@lists.debian.org Usertags: ocaml-5.2.0-transition
Dear FTP Team, OCaml 5.2.0 dropped support for native compilation on 32-bit architectures. Hence, armhf and i386 are now bytecode-only. Since Coq packages require the native compiler, their binaries must be removed on armhf and i386. Here is the complete list, in reverse dependency order: coqeal coq-extructures coq-interval mathcomp-algebra-tactics mathcomp-analysis mathcomp-multinomials mathcomp-real-closed coq-deriving coq-quickchick coq-reglang coq-relation-algebra coquelicot mathcomp-bigenough mathcomp-finmap mathcomp-zify coq-corn ssreflect coq-equations coq-gappa coq-hierarchy-builder coq-iris coq-math-classes coq-mtac2 coq-simple-io coqprime aac-tactics coq-bignums coq-dpdgraph coq-elpi coq-ext-lib coq-hammer coq-hott coq-libhyps coq-menhirlib coq-record-update coq-reduction-effects coq-serapi coq-stdpp coq-unicoq coq-unimath flocq ott paramcoq coq Cheers, -- Stéphane
