coq_8.4~beta+dfsg-4_amd64.changes ACCEPTED into experimental
Accepted:
coq-theories_8.4~beta+dfsg-4_all.deb
to main/c/coq/coq-theories_8.4~beta+dfsg-4_all.deb
coq_8.4~beta+dfsg-4.debian.tar.gz
to main/c/coq/coq_8.4~beta+dfsg-4.debian.tar.gz
coq_8.4~beta+dfsg-4.dsc
to main/c/coq/coq_8.4~beta+dfsg-4.dsc
coq_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/coq_8.4~beta+dfsg-4_amd64.deb
coqide_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/coqide_8.4~beta+dfsg-4_amd64.deb
libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb
libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
Changes:
coq (8.4~beta+dfsg-4) experimental; urgency=low
.
* Recompile with camlp5 6.05 (no changes)
Override entries for your package:
coq-theories_8.4~beta+dfsg-4_all.deb - optional math
coq_8.4~beta+dfsg-4.dsc - source math
coq_8.4~beta+dfsg-4_amd64.deb - optional math
coqide_8.4~beta+dfsg-4_amd64.deb - optional math
libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb - optional ocaml
libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb - optional ocaml
Announcing to debian-experimental-changes@lists.debian.org
Announcing to debian-devel-changes@lists.debian.org
Thank you for your contribution to Debian.
Reply to: