- Replace previous patch with another patch to fix compilation. - Use latest gnat version and use it in `nativeBuildInputs`. - Add many newlines for formatting for better future diffs.
- Replace previous patch with another patch to fix compilation. - Use latest gnat version and use it in `nativeBuildInputs`. - Add many newlines for formatting for better future diffs.