gnat-4.4 was removed from precise (https://launchpad.net/ubuntu/+source/gnat-4.4/+publishinghistory), so this is no longer an issue.
gnat-4.4 was removed from precise (https:/ /launchpad. net/ubuntu/ +source/ gnat-4. 4/+publishinghi story), so this is no longer an issue.