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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
