On Wed, 2025-10-08 at 10:00 +0200, Stéphane Glondu wrote: > Le 08/10/2025 à 09:49, John Paul Adrian Glaubitz a écrit : > > > > Could you therefore limit the ocaml-native-compilers build-dependency > > > > to the > > > > architectures which actually have a native OCaml compiler and allow the > > > > other > > > > architectures to use byte-code? > > > > > > The goal to put ocaml-native-compilers in Build-Depends was exactly to > > > avoid builds on bytecode architecture... Because at that time, coq was > > > randomly broken and upstream did not want to support that configuration. > > > > I verified that it builds fine on multiple targets without native compiler > > support. > > > > > Did something change? > > > > Looks like as the failures are gone. > > Did you try reverse dependencies as well?
I actually uploaded coq 9.1.0 to unreleased for sparc64 and I had hoped for the packages to start building, but it still shows BD-Uninstallable for coq-hott, so I will have to try manually. I will report back. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
