Stéphane Glondu wrote: > Debian Installer wrote: >> Rejected: dm:steph@glondu.net may not upload/NMU source package coq > > It seems DM-Upload-Allowed doesn't have any effect in experimental... > Could someone be kind enough to upload it for me? Uploaded. Cheers, Samuel.