[ubuntu/precise] aac-tactics 0.2.pl2-3build1 (Accepted)

[Colin Watson]

aac-tactics (0.2.pl2-3build1) precise; urgency=low

  * Rebuild for new OCaml library ABIs.

Date: Sat, 12 Nov 2011 00:07:21 +0000
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/aac-tactics/0.2.pl2-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 12 Nov 2011 00:07:21 +0000
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.2.pl2-3build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Description: 
 libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)
 libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
 libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
Changes: 
 aac-tactics (0.2.pl2-3build1) precise; urgency=low
 .
   * Rebuild for new OCaml library ABIs.
Checksums-Sha1: 
 ec255bc6405ebb3ea9e5bf56a82487d76e4ef30a 2298 aac-tactics_0.2.pl2-3build1.dsc
 269bad0f27d5d32563c46b0c79eb6f76038331ad 2642 aac-tactics_0.2.pl2-3build1.debian.tar.gz
Checksums-Sha256: 
 1f0eca27c547ce6b1499433ca637fc55ddfe7add821128d19a386c1ecdd96ba8 2298 aac-tactics_0.2.pl2-3build1.dsc
 f2c247901405b2ff75e9437691f0dcc029bd7c3192203cb0d017a903ce7c5791 2642 aac-tactics_0.2.pl2-3build1.debian.tar.gz
Files: 
 0c74578b96af1970e1b95120ec9a8aca 2298 math optional aac-tactics_0.2.pl2-3build1.dsc
 e87779481525d690efd152ff08f0dd0f 2642 math optional aac-tactics_0.2.pl2-3build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBTr24zzk1h9l9hlALAQhm5g//a2jMgHZWYs09KGeba5Jxqis22VPQHn66
v7ejrjI7hfhxYHh0QFCEeRanfWXyoWeDGrO7Y6vXdUwpY0rm4j+MVPTGvRdQnu+k
ED7Od/uBtkJCvcaoOfU1x4ehwQxPwtPvqZoBfyhBOdyWDrKbwt2S1bcQ8GnEUYgl
0XoR/k/2l2FdoQW+GvK9PdT7Nn3pdnj2IsjcY1DUcs2BemEPNdi4nJLnJ9+byupv
kaF43noRg6WR0OBu6tHNaR2ZUoXrXsTqd/JsX89mpmf3HH7P5aGECFMX1ZqsHvA3
+vZ34y3CuJYejr+qbGrW1xdW8m2r1JMyhrVLnT1mo8hctMKIuuGkB9CIFO64z+Sl
kXF6VZzHk6nBGRQN8ntRiPMK923Rs2qITaOZxlEiXQ4cnIIXdKWMImjk98GpCbom
sfC2qr/PGksejb9IVMO5AYlfa8khXfOzZ2lRw4M0ZO1vYIDvt5iwLL9XDF4u8Unl
N5Hhyr5Xr98SryOlLoreWQLRiRmnqU9yiPjo4pAhF/dN18UB2DDm4R0vmE45L+on
HuLSI4IRIGasJ6miAjI7YG7FSgzA3R3SISgWj1hiHdcgw3JvJyacpX11tmceIqTD
0PQjQJv1lKBECkyrkeZAvyae+8NTMjoSdSaI7pskOjbs5IqnTnC4srLfoX2OPbRG
OY8kNDvY5DM=
=Rgzl
-----END PGP SIGNATURE-----