Accepted: aac-tactics_0.2.pl2-6.debian.tar.gz to main/a/aac-tactics/aac-tactics_0.2.pl2-6.debian.tar.gz aac-tactics_0.2.pl2-6.dsc to main/a/aac-tactics/aac-tactics_0.2.pl2-6.dsc libaac-tactics-coq_0.2.pl2-6_all.deb to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-6_all.deb libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb libaac-tactics-ocaml_0.2.pl2-6_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-6_amd64.deb Changes: aac-tactics (0.2.pl2-6) unstable; urgency=medium . * Recompile with camlp5 6.05 and coq 8.3pl4 (no changes) Override entries for your package: aac-tactics_0.2.pl2-6.dsc - source math libaac-tactics-coq_0.2.pl2-6_all.deb - optional math libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb - optional ocaml libaac-tactics-ocaml_0.2.pl2-6_amd64.deb - optional ocaml 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]
