Hello, a rumour came in my ears which said "gps 1.4.0 is compatible with GNAT 3.16 but not older versions". Is that rumour true or false ? Thanks, Hugues.