Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: unblock gnat-gps is unblocked (see #682278) but cannot migrate because it depends on gnat-4.6 which is blocked. Please unblock gnat-4.6 as well. -- Ludovic Brenta.