Accepted: libssreflect-coq_1.2+dfsg-1_all.deb to pool/main/s/ssreflect/libssreflect-coq_1.2+dfsg-1_all.deb libssreflect-ocaml_1.2+dfsg-1_amd64.deb to pool/main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-1_amd64.deb ssreflect_1.2+dfsg-1.diff.gz to pool/main/s/ssreflect/ssreflect_1.2+dfsg-1.diff.gz ssreflect_1.2+dfsg-1.dsc to pool/main/s/ssreflect/ssreflect_1.2+dfsg-1.dsc ssreflect_1.2+dfsg.orig.tar.gz to pool/main/s/ssreflect/ssreflect_1.2+dfsg.orig.tar.gz
Override entries for your package: libssreflect-coq_1.2+dfsg-1_all.deb - extra math libssreflect-ocaml_1.2+dfsg-1_amd64.deb - extra math ssreflect_1.2+dfsg-1.dsc - extra math Announcing to [email protected] Closing bugs: 508468 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
