Raphaël Proust

Updated with zarith stubs constraints

CI errors are: - can't generate `.exe` on 32bit+ocaml5 plateforms (`no rule for whatever.exe`) - some system dependencies and other packages - what seems to be an actual issue on...

I've added the availability field. I don't think it's an endianness issue because it works on s390x-ocaml.4.14. So it's probably a combination of multiple factors, endianness being only one of...

@mseri I guess technically the package is fine but the s390x+ocaml.5.1 combination is broken. I'm ok merging with the current availability field. The main issue is that when a new...

The `tsdl` package installs fine with the lower-bound version detailed here. What fails is downgrading `tsdl` and `ctypes` and `ctypes-foreign` simultaneously. This may be due (:confused:) to the `ctypes-foreign` package...

I implemented the two things I mention above and also rebased

@kit-ty-kate are you ok with the new interface? Does it work for your use-case?

I restarted the debian job now that #22442 has been merged.

It's not an urgent issue to fix in any way. If the code it concerns will change in the near future, it can wait. I might give it a go...

Thanks for the contribution and for the detailed explanations. I don't have the bandwidth to check this in depth rn. I'll try to get to it at some point.