coq-float_8.2-1.2-6_amd64.changes REJECTED
Reject Reasons:
coq-float_8.2-1.2-6_amd64.changes file already known to dak
md5sum and/or size mismatch on existing copy of coq-float_8.2-1.2-6.debian.tar.gz.
libfloat-coq_8.2-1.2-6_all.deb: can not overwrite existing copy already in the archive.
md5sum and/or size mismatch on existing copy of libfloat-coq_8.2-1.2-6_all.deb.
md5sum and/or size mismatch on existing copy of coq-float_8.2-1.2-6.dsc.
coq-float_8.2-1.2-6.dsc: old version (1:8.2-1.2-6) in unstable >= new version (1:8.2-1.2-6) targeted at unstable.
coq-float_8.2-1.2-6.dsc: old version (1:8.2-1.2-6) in testing >= new version (1:8.2-1.2-6) targeted at unstable.
can not overwrite existing copy of 'coq-float_8.2-1.2-6.debian.tar.gz' already in the archive.
===
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.
Reply to: