Accepted: coq-float_8.2-1.2-1.diff.gz to pool/main/c/coq-float/coq-float_8.2-1.2-1.diff.gz coq-float_8.2-1.2-1.dsc to pool/main/c/coq-float/coq-float_8.2-1.2-1.dsc coq-float_8.2-1.2.orig.tar.gz to pool/main/c/coq-float/coq-float_8.2-1.2.orig.tar.gz libfloat-coq_8.2-1.2-1_all.deb to pool/main/c/coq-float/libfloat-coq_8.2-1.2-1_all.deb
Override entries for your package: coq-float_8.2-1.2-1.dsc - source libdevel libfloat-coq_8.2-1.2-1_all.deb - optional libdevel Announcing to [email protected] Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
