Bug#1078252: RM: coq and many others [armhf i386] -- ROM; NBS; armhf and i386 are no longer native
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
Reply to: