[ubuntu/saucy-proposed] aac-tactics 0.2.pl2-7build1 (Accepted)

[Colin Watson]

aac-tactics (0.2.pl2-7build1) saucy; urgency=low

  * Rebuild for new OCaml ABIs.

Date: Thu, 09 May 2013 15:02:24 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/saucy/+source/aac-tactics/0.2.pl2-7build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 09 May 2013 15:02:24 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.2.pl2-7build1
Distribution: saucy
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-7build1) saucy; urgency=low
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1: 
 96bbd8226c278e084969c156fa7e4d00762b5b4b 2298 aac-tactics_0.2.pl2-7build1.dsc
 e63de90e068c4b0dc52eac43ee977a0996cd6f56 2867 aac-tactics_0.2.pl2-7build1.debian.tar.gz
Checksums-Sha256: 
 97b8c377f02c2165ca9c81fdf6f3b055119237b3f63cce0bdeb9e5e282bcbfd0 2298 aac-tactics_0.2.pl2-7build1.dsc
 02ea2077a922922cd133ed0dbf38eba3e00adee0c80f4ba258297f6d053ff8d8 2867 aac-tactics_0.2.pl2-7build1.debian.tar.gz
Files: 
 28787893b8a9d819808494cd8ddc4b25 2298 math optional aac-tactics_0.2.pl2-7build1.dsc
 d77c215738aa1fff35fe100f8ad24695 2867 math optional aac-tactics_0.2.pl2-7build1.debian.tar.gz

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

iQIVAwUBUYuscjk1h9l9hlALAQhqPw//dXz1STSBJ2G9uPDMVUPK1C6Izpn4wODH
aAxuEGpL3zX/+damCx0OB7Xzjk5O0EFGy1pVbYlRflJDPUXIxsEJU73wszWBjpX2
veiY0E/h14oD1c4gKg1eRQE4wJVRE9iq9YSY0hGMcT/UiNHQVlrfRDER6B0nFA+3
aFpW+XzMOidQgQIRgL+6xOGgvrDkWOXb/9U3jaN4UUqpi70eWLh5T+ul/izLZHrT
E/e0KIK0v3axdTS2QyEVm3VmTKvz0zA/auLOhpfYxrfEDljrmohsrWloDv3Fno4I
IxG9Z/nQEIj4gWAOg/uAEc1MtWh3dmQJu5T1w0MavcTal15Q4yV8+v13xC9Ot1NN
MyM5adOxG6NtCC0QE2Rr7HuB8cRbKu7LbM0i7O3IYKnoXjoX4hwXK0WNkrUUORFM
u7p/ULK2TyGw5ZaUC257Ol2Bmzt5vqzcYaZ2/UG5H3FCnxnBjjqpJWeG37z0SF87
uzxo4uJEbP6g4CZnk3xHHoiVPNAb2BUHmNUwOq0nNrfAJLQdOBZVf77NvsCU7gRh
NjAGzX8HqIDeOKtVr4+CNr+9zyV19S0i70/zvTY8pAc+kpBhqkAOzBhbf5l5Wym5
wFTFN+j+jhz74EMJfRQ5Ags7tDzf89KqtiEmMsISoVEDvmAvso2tnjkA1qCvUWoA
BeZIJl24n1c=
=0Wvr
-----END PGP SIGNATURE-----