[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

aac-tactics_0.2.pl2-7_amd64.changes ACCEPTED into unstable





Accepted:
aac-tactics_0.2.pl2-7.debian.tar.gz
  to main/a/aac-tactics/aac-tactics_0.2.pl2-7.debian.tar.gz
aac-tactics_0.2.pl2-7.dsc
  to main/a/aac-tactics/aac-tactics_0.2.pl2-7.dsc
libaac-tactics-coq_0.2.pl2-7_all.deb
  to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-7_all.deb
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
  to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb
  to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-7_amd64.deb


Changes:
aac-tactics (0.2.pl2-7) unstable; urgency=low
 .
  * Recompile with camlp5 6.06 (no changes)


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

Announcing to debian-devel-changes@lists.debian.org


Thank you for your contribution to Debian.


Reply to: