coq-float_8.4-5.dsc: Invalid size hash for coq-float_8.4.orig.tar.gz: According to the control file the size hash should be 348302, but coq-float_8.4.orig.tar.gz has 352313.
If you did not include coq-float_8.4.orig.tar.gz in your upload, a different version might already be known to the archive software. === 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.
