[ubuntu/artful-proposed] aac-tactics 8.6.1-1build4 (Accepted)

[Dimitri John Ledkov]

aac-tactics (8.6.1-1build4) artful; urgency=high

  * No change rebuild against new ocaml abis.

Date: Thu, 31 Aug 2017 02:11:24 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/aac-tactics/8.6.1-1build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 31 Aug 2017 02:11:24 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.6.1-1build4
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox 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 (8.6.1-1build4) artful; urgency=high
 .
   * No change rebuild against new ocaml abis.
Checksums-Sha1:
 790912a7e15166a626fe19a6dc63ac915474ff04 1974 aac-tactics_8.6.1-1build4.dsc
 2aaf0340f79dc064281261b4fa141efe1eae4e8a 3452 aac-tactics_8.6.1-1build4.debian.tar.xz
Checksums-Sha256:
 a09fee899f7f5aac6d8b80674e91df0ceef878b7660248c27e03a45ab2180ad1 1974 aac-tactics_8.6.1-1build4.dsc
 6f6f5711012e5f99a457f037665ec806e92d4cfd1276d8365d6bb09b4ebbf630 3452 aac-tactics_8.6.1-1build4.debian.tar.xz
Files:
 dbd34e591b54512abf0c97469e71edc9 1974 math optional aac-tactics_8.6.1-1build4.dsc
 acd2665a4228fad1a1df3a65a9cd34dd 3452 math optional aac-tactics_8.6.1-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZp2JUAAoJEMrC2LnNLKX57xoH/i8vC+bJLn92wyB/LLXPxw+t
1h6bMClD1dTItKgqW/xL4OItL/ln4aBjZ5Gls5wkXfLSPfpdAJTbMBUBQM0ro7hh
kU40abl6ErSTbROGpOSRQrggE/+0Bo7aSdJJF6gByWG/1kZpt4cWn8mzFlAFMgEj
dN0rVIXQgWEMDMTrQymFH50MIdQSL16PJOBuFU4NAJNecw6excqtgJTagrw30tEk
xBOI9PtLSD8CyCtxVO4ckMU4ngnfkbqazkVvMYt0JWQE2n/xakztHq+dwS7mMfR6
UWykOjk2kB8SMFINtsJ2DxKX0yvMecV0pJYPyEyIoldBsljJcV5dxGpYfDNKwPs=
=uqL3
-----END PGP SIGNATURE-----