Reject Reasons: coq_8.3.pl4+dfsg-1_armhf.changes file already known to dak coq_8.3.pl4+dfsg-1_armhf.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_armhf.deb. libcoq-ocaml_8.3.pl4+dfsg-1_armhf.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_armhf.deb. libcoq-ocaml-dev_8.3.pl4+dfsg-1_armhf.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_armhf.deb. coqide_8.3.pl4+dfsg-1_armhf.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_armhf.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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
