[ubuntu/trusty-proposed] aac-tactics 0.4-1build1 (Accepted)

[Matthias Klose]

aac-tactics (0.4-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.

Date: Mon, 23 Dec 2013 22:01:32 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/trusty/+source/aac-tactics/0.4-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 23 Dec 2013 22:01:32 +0000
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.4-1build1
Distribution: trusty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko 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.4-1build1) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 75de1677980dc02750294b1d30aca4679e2cf4db 1581 aac-tactics_0.4-1build1.dsc
 517ddc67d4b3c16201ba75a6074e384f77299fa2 3019 aac-tactics_0.4-1build1.debian.tar.gz
Checksums-Sha256: 
 20ca29a0f3a768cd3cfe939ea8d387935a5c36fda7fb70a2c34b93fc4243338a 1581 aac-tactics_0.4-1build1.dsc
 e7f6a885d98d4ee675174e46616d83992b14407d80be29f98730da43b75e23b3 3019 aac-tactics_0.4-1build1.debian.tar.gz
Files: 
 6d80d9dde170448c085e8360e11e96df 1581 math optional aac-tactics_0.4-1build1.dsc
 c97a1e279034c057725cb97983f613e5 3019 math optional aac-tactics_0.4-1build1.debian.tar.gz

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

iEYEARECAAYFAlK4szgACgkQStlRaw+TLJyIMQCghIibysonQfakGtBC+kfEZ/Nd
WAoAn0vUMqjw8ZYuYXWVpukalWgd63Lw
=aT54
-----END PGP SIGNATURE-----