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

[Łukasz 'sil2100' Zemczak]

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

  * No-change rebuild against ocaml 4.02.

Date: Wed, 04 Nov 2015 18:04:52 -0600
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/aac-tactics/0.4-5build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 04 Nov 2015 18:04:52 -0600
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.4-5build2
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.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-5build2) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 89ee51e86d4b6cdc37841f7b7bc97a7443830f24 1914 aac-tactics_0.4-5build2.dsc
 e2a0932900f04422c29e43b79e44e25d77dc9932 3076 aac-tactics_0.4-5build2.debian.tar.xz
Checksums-Sha256:
 708da16bb12386f530cad79c6a13ca8dd56430d496dea36df3bceecfed211aae 1914 aac-tactics_0.4-5build2.dsc
 441f4dda71dbb9e0771267dc5cd9576c4250febf264a9845d2506b3cc58e012b 3076 aac-tactics_0.4-5build2.debian.tar.xz
Files:
 ffb121fe2c922a17cba18971a4ca4227 1914 math optional aac-tactics_0.4-5build2.dsc
 f47134d9aed835940b3120c67260466d 3076 math optional aac-tactics_0.4-5build2.debian.tar.xz

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

iQEcBAEBAgAGBQJWOp0oAAoJEAIZyhnQNDMMtG4IAI3zt/sY6Dx/NklTfEGyg1EL
OCa828tYuMvfWVVemYJbtw9aOHVyOXIBxaML2FuzVuzHWUBU/khhtLTNDL4R+V+k
5A7lz21vt+XqfGzFB8w7lSsfSUwdXVgfIFjVI6p/2yeQMwg7GObX+zFyYxXWh4dD
7nXXf+mLmPZv9RITSPJr7n/liq9gl6k6QWlAoAlobdnjBxR6I+qREwOqk7wtYQBR
TF+EMazSh9F5ij+nEo1lXzt8cDhLKopm+RaP4IsBk7MB1dLwz6+TLWgM0RGJoxd8
HLEl2orK8I2UkcktkiD3X41IOkEHXkRYG87QMI/USpuShOSHXvfy7x4eGiY+X7I=
=rfSF
-----END PGP SIGNATURE-----