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

[Dimitri John Ledkov]

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

  * No change rebuild against ocaml 4.04.

Date: Mon, 03 Jul 2017 01:29:31 +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-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 01:29:31 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.6.1-1build1
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-1build1) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 93d282a829dcd7b577ee973b8b7f52a5d7d6590c 1974 aac-tactics_8.6.1-1build1.dsc
 43d2241bac4181e65c86e0d860324e4b057e94e2 3380 aac-tactics_8.6.1-1build1.debian.tar.xz
Checksums-Sha256:
 b8dcc2457ff0e5a15de2cd75508c84e8d29c893755be4a7b5630a02ad6cc6d3a 1974 aac-tactics_8.6.1-1build1.dsc
 b11b93acad0140de58ec991ed30315e452b53c8609f519a8a221cedbdef6a669 3380 aac-tactics_8.6.1-1build1.debian.tar.xz
Files:
 0bd56d35f4add03a2eee65de03e111af 1974 math optional aac-tactics_8.6.1-1build1.dsc
 587afdb9b07fc4cef52c6bce3eecb262 3380 math optional aac-tactics_8.6.1-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZWZAmAAoJEMrC2LnNLKX5swcH/1wgLpzFNHMiQiBCxn7jZc1I
Ld4aVSFkKTnoiLbf5XIa5toBE/jzTDDmTV6zCDwfrj0RaPCtxSiCamX0rvADQXhS
gb2se3UnaWdrU2tR/Htnu26RYVR65nZnIl6KxgRjFOTRO+3sgB8Ty2obzU8dx+ln
Fe4TSWP1ELw3qJLE4I+f3AnO0siq1Bjx4E62F/DxnH0WIWhxPhERZk6joUY+W/Aa
XBRyEcAN7svdrTp1nY/oAtVLK0LuKna2iZs3nQBmZhsttHkBRBTAv59YbUNxp9/2
Qjp3YOCP/UR0USNG7JtAZlkRlAzPozQuSRHF7vL7YHdOjw0zsHvj4pielpUK3fM=
=zi5q
-----END PGP SIGNATURE-----