Accepted: libssreflect-coq_1.3pl2-1_all.deb to main/s/ssreflect/libssreflect-coq_1.3pl2-1_all.deb libssreflect-ocaml-dev_1.3pl2-1_amd64.deb to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-1_amd64.deb libssreflect-ocaml_1.3pl2-1_amd64.deb to main/s/ssreflect/libssreflect-ocaml_1.3pl2-1_amd64.deb ssreflect_1.3pl2-1.debian.tar.gz to main/s/ssreflect/ssreflect_1.3pl2-1.debian.tar.gz ssreflect_1.3pl2-1.dsc to main/s/ssreflect/ssreflect_1.3pl2-1.dsc ssreflect_1.3pl2.orig.tar.gz to main/s/ssreflect/ssreflect_1.3pl2.orig.tar.gz Override entries for your package: libssreflect-coq_1.3pl2-1_all.deb - extra math libssreflect-ocaml-dev_1.3pl2-1_amd64.deb - extra ocaml libssreflect-ocaml_1.3pl2-1_amd64.deb - optional ocaml ssreflect_1.3pl2-1.dsc - source math Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1rsk9h-0001em...@franck.debian.org