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 [email protected] Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
