Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
On Wed, 2025-10-08 at 11:01 +0200, Julien Puydt wrote:
> I don't know if it's really hostility -- perhaps just missing the hands
> and hardware to cover as much ground as they'd like...
There are projects like the GCC Compile Farm that provide access to various
hardware and software platforms for testing. No one needs to own all of that
hardware.
I also don't think they own a s390x mainframe which costs a couple of millions
of Dollars, so I doubt it's this. On the other hand, they could even get free
LoongArch hardware if they bothered to add LoongArch support [1].
I guess it's a works-for-me project and not a community project. At least that's
the impression of the OCaml project I have from what I have seen so far.
Adrian
> [1] https://github.com/ocaml/ocaml/pull/11974
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer
`. `' Physicist
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
Reply to: