aac-tactics_0.1-r13244-1_amd64.changes ACCEPTED into experimental

[Debian FTP Masters <ftpmaster@ftp-master.debian.org>]

Accepted:
aac-tactics_0.1-r13244-1.debian.tar.gz
  to main/a/aac-tactics/aac-tactics_0.1-r13244-1.debian.tar.gz
aac-tactics_0.1-r13244-1.dsc
  to main/a/aac-tactics/aac-tactics_0.1-r13244-1.dsc
aac-tactics_0.1-r13244.orig.tar.gz
  to main/a/aac-tactics/aac-tactics_0.1-r13244.orig.tar.gz
libaac-tactics-coq_0.1-r13244-1_all.deb
  to main/a/aac-tactics/libaac-tactics-coq_0.1-r13244-1_all.deb
libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb
  to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb
libaac-tactics-ocaml_0.1-r13244-1_amd64.deb
  to main/a/aac-tactics/libaac-tactics-ocaml_0.1-r13244-1_amd64.deb


Override entries for your package:
aac-tactics_0.1-r13244-1.dsc - source math
libaac-tactics-coq_0.1-r13244-1_all.deb - optional math
libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb - optional ocaml
libaac-tactics-ocaml_0.1-r13244-1_amd64.deb - optional ocaml

Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 605487 


Thank you for your contribution to Debian.