coq_8.3.pl4+dfsg-1_sparc.changes REJECTED
Reject Reasons:
coq_8.3.pl4+dfsg-1_sparc.changes file already known to dak
libcoq-ocaml-dev_8.3.pl4+dfsg-1_sparc.deb: can not overwrite existing copy already in the archive.
md5sum and/or size mismatch on existing copy of libcoq-ocaml-dev_8.3.pl4+dfsg-1_sparc.deb.
libcoq-ocaml_8.3.pl4+dfsg-1_sparc.deb: can not overwrite existing copy already in the archive.
md5sum and/or size mismatch on existing copy of libcoq-ocaml_8.3.pl4+dfsg-1_sparc.deb.
coq_8.3.pl4+dfsg-1_sparc.deb: can not overwrite existing copy already in the archive.
md5sum and/or size mismatch on existing copy of coq_8.3.pl4+dfsg-1_sparc.deb.
coqide_8.3.pl4+dfsg-1_sparc.deb: can not overwrite existing copy already in the archive.
md5sum and/or size mismatch on existing copy of coqide_8.3.pl4+dfsg-1_sparc.deb.
Notes:
Mapping sid to unstable.
===
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: