Martin Liška Tue, 18 Jan 2022 01:43:22 -0800
LGTM.
I've just installed that, the Ada testsuite should work now. Martin