Package: release.debian.org Severity: normal User: release.debian....@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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org