ssreflect_1.2+dfsg-5_amd64.changes ACCEPTED

[Archive Administrator <installer@ftp-master.debian.org>]

Accepted:
libssreflect-coq_1.2+dfsg-5_all.deb
  to main/s/ssreflect/libssreflect-coq_1.2+dfsg-5_all.deb
libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
libssreflect-ocaml_1.2+dfsg-5_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-5_amd64.deb
ssreflect_1.2+dfsg-5.debian.tar.gz
  to main/s/ssreflect/ssreflect_1.2+dfsg-5.debian.tar.gz
ssreflect_1.2+dfsg-5.dsc
  to main/s/ssreflect/ssreflect_1.2+dfsg-5.dsc


Override entries for your package:
libssreflect-coq_1.2+dfsg-5_all.deb - extra math
libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb - extra ocaml
libssreflect-ocaml_1.2+dfsg-5_amd64.deb - extra math
ssreflect_1.2+dfsg-5.dsc - source math

Announcing to debian-devel-changes@lists.debian.org


Thank you for your contribution to Debian.