Package: src:gnat-4.6 Followup-For: Bug #713124 Control: tag -1 pending gcc-4.6.4-6 resolves both dependency problems. Next gnat-4.6 upload will contain the changes.