Bug#1078252: RM: coq and many others [armhf i386] -- ROM; NBS; armhf and i386 are no longer native

[Stéphane Glondu <glondu@debian.org>]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: coqeal@packages.debian.org, debian-ocaml-maint@lists.debian.org
Control: affects -1 + src:coqeal
User: ftp.debian.org@packages.debian.org
Usertags: remove
User: debian-ocaml-maint@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