libcoq-ocaml-dbgsym: lintian output: 'library-in-debug-or-profile-should-not-be-stripped usr/lib/debug/.dwz/x86_64-linux-gnu/libcoq-ocaml.debug', automatically rejected package. binary:coqide is NEW. binary:coqide is NEW. === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns.