ssreflect_1.3pl2-4_amd64.changes ACCEPTED into unstable
Accepted:
libssreflect-coq_1.3pl2-4_all.deb
to main/s/ssreflect/libssreflect-coq_1.3pl2-4_all.deb
libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
libssreflect-ocaml_1.3pl2-4_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3pl2-4_amd64.deb
ssreflect_1.3pl2-4.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3pl2-4.debian.tar.gz
ssreflect_1.3pl2-4.dsc
to main/s/ssreflect/ssreflect_1.3pl2-4.dsc
Changes:
ssreflect (1.3pl2-4) unstable; urgency=medium
.
* Fix compilation with camlp5 6.05 and coq 8.3pl4
Override entries for your package:
libssreflect-coq_1.3pl2-4_all.deb - extra math
libssreflect-ocaml-dev_1.3pl2-4_amd64.deb - extra ocaml
libssreflect-ocaml_1.3pl2-4_amd64.deb - optional ocaml
ssreflect_1.3pl2-4.dsc - source math
Announcing to debian-devel-changes@lists.debian.org
Thank you for your contribution to Debian.
Reply to: