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? Thanks, -- Stéphane