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

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

Le 09/08/2024 à 09:37, Stéphane Glondu a écrit :
> [...]
> 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:
> [...]

And also:

  elpi


Cheers,

--
Stéphane