[ubuntu/xenial-proposed] aac-tactics 0.4-5build3 (Accepted)

[Matthias Klose]

aac-tactics (0.4-5build3) xenial; urgency=medium

  * Rebuild for new OCaml ABIs.

Date: Fri, 12 Feb 2016 12:04:57 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/aac-tactics/0.4-5build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 12 Feb 2016 12:04:57 +0000
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.4-5build3
Distribution: xenial
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-5build3) xenial; urgency=medium
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1:
 725afef7282d3d3563256abac3f7c57843fabb11 2262 aac-tactics_0.4-5build3.dsc
 8c6ee538a48f1ee32ee340e5af9a0c23cdabb62b 3128 aac-tactics_0.4-5build3.debian.tar.xz
Checksums-Sha256:
 110f8598538c7329e05fe3d42bcece3113b6239df96e025357da96530b37e0b0 2262 aac-tactics_0.4-5build3.dsc
 ab9c5381c3d11280f73bbed471358fd5e2de9532e9db06f7d689c0e6d1728720 3128 aac-tactics_0.4-5build3.debian.tar.xz
Files:
 a7104d884f534a4d12102de1f4569a0a 2262 math optional aac-tactics_0.4-5build3.dsc
 b1fabe1fdeea37d1062dbb5ea31daf4d 3128 math optional aac-tactics_0.4-5build3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWvcsTAAoJEL1+qmB3j6b1R2UP/A6uyjq5rSQ8ZvJF9b+31HhL
je2yOs8qaui4EHJ6Nf4ShV8g/cQ2faqRfqx9bQx/jp7WdRr/kFkMO5rbWgyL2T/p
0E0lUOc6anV+wMN7S5cIkdbzM6IIvLjuVpGxaAi4HjAdXDbHQpXzhzq665V3I6Zk
KTExNPnOh+FWfrrZogeYtBQ1CcGOPqWKyMI3upE5COy/UXPhEetzqHWAjTn1Ss9t
es4439xi6aw6aKYzUpLz+uN7yOOmpejiVVdQeChm/J+t1FcVxXRzQDdayS00c0ty
sV5KXMqzW5nBebmWbjoONQoHnFYgdy6k1gz/TAxLKIsYLq78roMhJY9L+X1/iD/r
VyK5OM6wGi/g0KCNA2vIMKNTp42ClucKM48vNLopdBDRR64E4wht0RLm7oSEhOC0
8dBj37BuVZ8RK6yro+nRsP/Kvzapag/G26N/P8qCXeaZ6V/Blb/BAwIjOUuJ1wCD
C+orUExRBeWrr1S4g4yXyLt7lSO5Z7R8APNPCMnEu905wENLaU8QkeXnc7IHWqV1
0jJijbaqO3EKzpd4P7CcRs9MsTlZGCBeWCYI1usCTtvW9VkTtibS85b7+QqpAK7K
Ut7inwi1b0RxgXtSJAmOmnF7dQ3SXIspiOo/sqtt+hwRoTmb4ra4Aj1AuC6F9bBk
aziW5XXO1Qjzbg8itlp4
=ww5c
-----END PGP SIGNATURE-----