gnat-4.6 override disparity

There are disparities between your recently accepted upload and the override file for the following file(s): libgnatprj4.6-dev_4.6.2-2_amd64.deb: package says priority is extra, override says optional. libgnatvsn4.6-dev_4.6.2-2_amd64.deb: package says priority is extra, override says optional.

gnat-4.6_4.6.2-2_amd64.changes ACCEPTED into unstable

Accepted: gnat-4.6-base_4.6.2-2_amd64.deb to main/g/gnat-4.6/gnat-4.6-base_4.6.2-2_amd64.deb gnat-4.6-sjlj_4.6.2-2_amd64.deb to main/g/gnat-4.6/gnat-4.6-sjlj_4.6.2-2_amd64.deb gnat-4.6_4.6.2-2.dsc to main/g/gnat-4.6/gnat-4.6_4.6.2-2.dsc gnat-4.6_4.6.2-2.tar.gz to main/g/gnat-4.6/gnat-4.6

gcj-4.6_4.6.2-2_amd64.changes ACCEPTED into unstable

Accepted: gcj-4.6-base_4.6.2-2_amd64.deb to main/g/gcj-4.6/gcj-4.6-base_4.6.2-2_amd64.deb gcj-4.6-jdk_4.6.2-2_amd64.deb to main/g/gcj-4.6/gcj-4.6-jdk_4.6.2-2_amd64.deb gcj-4.6-jre-headless_4.6.2-2_amd64.deb to main/g/gcj-4.6/gcj-4.6-jre-headless_4.6.2-2_amd64.deb gcj-4.6-jre-lib_4.6.2-2_al

gcc-snapshot_20111114-1_amd64.changes ACCEPTED into unstable

Accepted: gcc-snapshot_2014-1.diff.gz to main/g/gcc-snapshot/gcc-snapshot_2014-1.diff.gz gcc-snapshot_2014-1.dsc to main/g/gcc-snapshot/gcc-snapshot_2014-1.dsc gcc-snapshot_2014-1_amd64.deb to main/g/gcc-snapshot/gcc-snapshot_2014-1_amd64.deb gcc-snapshot_2014.o

Bug#614402: marked as done (gnat: Pragma Assert is rejected with No_Implementation_Pragmas restriction)

Your message dated Tue, 15 Nov 2011 09:11:59 + with message-id and subject line Bug#614402: fixed in gnat-4.6 4.6.2-2 has caused the Debian Bug report #614402, regarding gnat: Pragma Assert is rejected with No_Implementation_Pragmas restriction to be marked as done. This means that you claim