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

[Andreas Moog]

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

  * Rebuild with new Coq.

Date: Sun, 08 Jan 2012 16:05:08 +0100
Changed-By: Andreas Moog <amoog 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-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 08 Jan 2012 16:05:08 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.2.pl2-4build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Andreas Moog <amoog 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-4build1) precise; urgency=low
 .
   * Rebuild with new Coq.
Checksums-Sha1: 
 27f7b3783307997b5b68a8c659a0497f555dfb57 2240 aac-tactics_0.2.pl2-4build1.dsc
 7fd29a98a0893606d8dc4a84b1bfcc6c3b51d3e3 2724 aac-tactics_0.2.pl2-4build1.debian.tar.gz
Checksums-Sha256: 
 92a2c039999f5fe4d506e5006b665d847f3ae63510c20b69ac6f64ccc211d18a 2240 aac-tactics_0.2.pl2-4build1.dsc
 42d7213a6197d120a238552ef1c37ef4923e4a58dbbbca44761ea45d68de9f88 2724 aac-tactics_0.2.pl2-4build1.debian.tar.gz
Files: 
 9feb723468a53fb56421bb446a07a488 2240 math optional aac-tactics_0.2.pl2-4build1.dsc
 6a2fe62ef7d239542e942ff2fe78cbf9 2724 math optional aac-tactics_0.2.pl2-4build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBAgAGBQJPCbDkAAoJEGHzRCZ03mYkKikP/3hs6h4NB9iNEKksOd1OMwCj
UAe/SJDE/nqgY9Dcg/9Ao5UmKSam01tct1DskuTVeGh3XCOiTMwCze6hG/xzwe2W
Xww1S0Jt+M5T2/5zXpUcR3zCzIrQV2je86pNpxFBF2G/z39QbSiXo89fmgUIHade
Yr+3KaClz62+JBuAGxjtwAzElCJgwQDjgnVNV5LJmcNDcfAhxYAqT5+Q5ufiSZNK
Idu1RFS/LPey+SmnZ5DtA+O9IWj6vJ03iKooUeR6I5eu2O0jbT8qAxUKwYj1iwXq
DELzGNVv+5YzjTMZBEvXc9Ja2ZJftuWSmdxW8nouBQvZs6C8+bIdTHQOe5HQama5
e5URKPMfBvvOOad3VBoHDI5pc2OFNA7zRFf/mpgXbMs81aTA0v+5jJLfsQ56/BFJ
ogagXvDXGyyFwGzM2ATMla1z1TR0BVlSjnFxhFcDRkmpJVSeOgoABYtxwzyo9gYr
RWKOdP2+dw8fCZRb7lh2Snop3KpFLbRPgZbL+KWpcB3573IG5ScK5PkvqePjEuvP
lsPYN0uSbCPjjJMutwgM3MX4aKv9TFPRHXWumvrTdIooaxO6EgMeeSBSHWk/1Msv
rNU+HPOZIG8Ep37XRnng61XljfAtBm3xvU6Iu3yYVrOY/+svFDlZk3w8d569BsgU
EUxM+cGt5jXsDgqVxTZ8
=j7NR
-----END PGP SIGNATURE-----