Hi Nikita, unfortunately, the AdaCore copyright is missing from debian/copyright. (Note that the same exists in the 4.1/4.2 packages but is not a regression there, so I'll file an RC bug instead.) AFAICT that was the only problem. Kind regards T. === If you don't understand why your files were rejected, or if the override file requires editing, reply to this email.