https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117956 --- Comment #4 from simon at pushface dot org --- (In reply to simon from comment #1) > It’s the -gnatX. It seems to be the combination of -gnata with either -gnat2022 or -gnatX -- and this package doesn’t need either!