This bug has been corrected in the 0.7.2-6ubuntu3 upload of libadabindx. ** Changed in: libadabindx (Ubuntu) Status: Fix Committed => Fix Released -- [UNMETDEPS] libadabindx links against old libgnat https://launchpad.net/bugs/47112