Package: ftp.debian.org Severity: important Hello,
I've recently tried to upload a home-built binNMU of coq-float (which produces only an arch:all package, libfloat-coq)... and it has been accepted. However, I've been told that this is incorrect (I still don't understand why stuff broken by that shouldn't be fixed instead), so dak should reject that. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

