aac-tactics_0.2.pl2-5_amd64.changes ACCEPTED into unstable
Accepted:
aac-tactics_0.2.pl2-5.debian.tar.gz
to main/a/aac-tactics/aac-tactics_0.2.pl2-5.debian.tar.gz
aac-tactics_0.2.pl2-5.dsc
to main/a/aac-tactics/aac-tactics_0.2.pl2-5.dsc
libaac-tactics-coq_0.2.pl2-5_all.deb
to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-5_all.deb
libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb
libaac-tactics-ocaml_0.2.pl2-5_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-5_amd64.deb
Changes:
aac-tactics (0.2.pl2-5) unstable; urgency=low
.
* Recompile with camlp5 6.04 (no changes)
Override entries for your package:
aac-tactics_0.2.pl2-5.dsc - source math
libaac-tactics-coq_0.2.pl2-5_all.deb - optional math
libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb - optional ocaml
libaac-tactics-ocaml_0.2.pl2-5_amd64.deb - optional ocaml
Announcing to debian-devel-changes@lists.debian.org
Thank you for your contribution to Debian.
Reply to: