Public bug reported: Binary package hint: gnat-gps gnat-gps 4.0.1-3 from unstable, overwriting changes in 3.1.3-2ubuntu1; 4.0 is the first version working with gnat-4.x ** Affects: gnat-gps (Ubuntu) Importance: Undecided Status: Unconfirmed -- sync request https://launchpad.net/bugs/74824