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

[Colin Watson]

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

  * Rebuild for OCaml 3.12.1.

Date: Sat, 19 Nov 2011 18:36:41 +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-3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 19 Nov 2011 18:36:41 +0000
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.2.pl2-3build2
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-3build2) precise; urgency=low
 .
   * Rebuild for OCaml 3.12.1.
Checksums-Sha1: 
 f11a212cc080521f31b75cb0fe0875bbcec3e99f 2298 aac-tactics_0.2.pl2-3build2.dsc
 92df08175fd18aef7ee23e5b4e751fbbef1a39b2 2660 aac-tactics_0.2.pl2-3build2.debian.tar.gz
Checksums-Sha256: 
 62876e788821632c6904d7af72331be257cdd28e9e5d3f52315aa35831786405 2298 aac-tactics_0.2.pl2-3build2.dsc
 d9a40394db7f61d01274ef10f3e2d510c8f8afa02089899528c819c2fa10a1b3 2660 aac-tactics_0.2.pl2-3build2.debian.tar.gz
Files: 
 f33ed95a405966d8c1f7c24710401c82 2298 math optional aac-tactics_0.2.pl2-3build2.dsc
 164edbb92f79bd73b59d038e7a47b0bc 2660 math optional aac-tactics_0.2.pl2-3build2.debian.tar.gz

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

iQIVAwUBTsf3Pjk1h9l9hlALAQjPQxAAoJ5VDlLag+B+4BFLmyWRDzVx1cGudepX
hE8WR/24K4xcCoL3VnbzKqMO326MjjipYYmHEwaxFA6C+bC8LX/Up1dI/vTS5/ri
ggOivCjv0MCrt6w19mH313h9+/UUQ5Kk5F1RB6lGIctJZLhFSArduwB7KfczyAc+
jaeojVTEJaiUBou2Ax+sS02kfzBRUGfSPJ0iXy42r6oZezoM8QS+db8qu3zRgDlr
OE5gbLbap8vc7RqaoyxgfBNXXEiLsgY+vRInhcmrj1csF2eoIpPDkbGfbP6XMYCD
kJCmooEJMmXxSrbQ4x1C+/Ums5UFwhabiQ6+s/7g+OqVT2MhA/mQO6wmRL/66mSU
AjLvIPmM28PeBRh1hMDZR7z6Ti9roMNR6wpec8wVhlYqShzwG8EPEzI4vKJEfMh8
wdsUKPK4v4LFK3D0LxvdW9IgAxHupXwtN0ibORElGq3ZG8vG2HGr0iMtxFcUCz7p
qyJeXZtI+3brdEHWkcKeBUUO+ppTnnVwP41ku56DUAdZVdaNWDytspkhaIv2/jJr
oA+Y/PlaWlZ/bgi2S8eUF/Tt1KiK0Vcnp0AyuEa52etYwjVAtLhUQG24x2EyDwnE
FVqZZUKX0cot0qVIxakXYUnBsSV0jkLY936vDkA7s0xU8kkDYVLMJbzA4eOQvLou
zyvhaj113Zo=
=sry9
-----END PGP SIGNATURE-----