Rejected: dm:steph@glondu.net may not upload/NMU source package coq === If you don't understand why your files were rejected, or if the override file requires editing, reply to this email.