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
