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

[Łukasz 'sil2100' Zemczak]

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

  * No-change rebuild against the new libcoq-ocaml.

Date: Thu, 29 Oct 2015 00:52:53 +0100
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-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 29 Oct 2015 00:52:53 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.4-5build1
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-5build1) xenial; urgency=medium
 .
   * No-change rebuild against the new libcoq-ocaml.
Checksums-Sha1:
 44d12522c410b5a159dccf314196fefb116cd649 1914 aac-tactics_0.4-5build1.dsc
 1e09cb9e5786a32fbab51f93c7f2452425f332ef 3056 aac-tactics_0.4-5build1.debian.tar.xz
Checksums-Sha256:
 25424f2c7f89a071f32973d1d4f0c95e766fe76c7f74e927702ec377992b2300 1914 aac-tactics_0.4-5build1.dsc
 2a25c803caf6c0799561e49aa17baafe01fae8861a8b85f78eaef2a3cdce4d04 3056 aac-tactics_0.4-5build1.debian.tar.xz
Files:
 6ce18df30577535b22c4ad35de95d41f 1914 math optional aac-tactics_0.4-5build1.dsc
 47d760d2be764adb7c81b0daa0ad396b 3056 math optional aac-tactics_0.4-5build1.debian.tar.xz

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

iQEcBAEBAgAGBQJWMWD+AAoJEAIZyhnQNDMMi8YH/AhdX4phNimgeQTfdyGFHVQn
LCSZd6pcgyYHIncrHSki8hjx39luGACacP5PKoI6tapyXJKd6xgiTVpMhcSAdeqJ
e0GB41oWuw2OsL7/gl/K0cfd2dVGMp4tx7ZgAWN7F6NadfMztqoJ6zrzR22rIknJ
Udbiq8oc8qVRobQiDBeUyMRQNp4DFpgSH2Hy0MwiJBy0l7IC2vNV0Ljn5TKs0dpz
IDQK/K/8XRxBpkRD75gAwcLUyBc7fJND7gj2prOyJDdIhCE35DN0cYiHB4tFcNmt
x4eI6ewcAxfYmFPXLm5z4SUj+4ihJCp9Nny3tU+DZLLuYciNsnch8JnWNhhSSKw=
=Z2FC
-----END PGP SIGNATURE-----