Hi Julien, please also mention at least doc/* and INRIA, CNRS et al. in your debian/copyright. The file headers say LGPL2.1 whereas the coq-equations.opam says LGPL-2.1+. Please ask upstream about his intentions. Thanks! Thorsten === 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.