coq_8.0pl3-1_sparc.changes REJECTED
Rejected: coq_8.0pl3-1_sparc.changes: a file with this name already exists in the Done directory.
Mapping testing to testing-proposed-updates.
Rejected: coq_8.0pl3-1_sparc.deb: old version (8.0pl3-1) in unstable <= new version (8.0pl3-1) targeted at testing-proposed-updates.
Rejected: coq_8.0pl3-1_sparc.deb: can not overwrite existing copy already in the archive.
Rejected: md5sum and/or size mismatch on existing copy of coq_8.0pl3-1_sparc.deb.
Rejected: coqide_8.0pl3-1_sparc.deb: old version (8.0pl3-1) in unstable <= new version (8.0pl3-1) targeted at testing-proposed-updates.
Rejected: coqide_8.0pl3-1_sparc.deb: can not overwrite existing copy already in the archive.
Rejected: md5sum and/or size mismatch on existing copy of coqide_8.0pl3-1_sparc.deb.
===
If you don't understand why your files were rejected, or if the
override file requires editing, reply to this email.
Reply to: