Package: gcc-4.1-doc-non-dfsg, gcc-4.2-doc-non-dfsg Severity: serious Hi, the debian/copyright of your packages misses the copyright notices for the portions of the gnat docs copyrighted by AdaCore. Kind regards T.