Hi Arjen,
I do not think that the patch is specific to Debian. I will let Nicolas
give a more precise explanation of the situation.
Best,
Rafael
* Arjen Markus [2022-12-18 15:04]:
Hi Rafael,
I am looking into the patches and suggestions you sent. This is specific to
Debian, you say, so
Hi Rafael,
I am looking into the patches and suggestions you sent. This is specific to
Debian, you say, so the new code is to be run on Debian only. What would be an
appropriate check that we are running on this platform? (I have no experience
with building the Ada package or with Ada at all,