[ubuntu/disco-proposed] aac-tactics 8.6.1-2build1 (Accepted)

[Matthias Klose]

aac-tactics (8.6.1-2build1) disco; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Tue, 15 Jan 2019 14:41:29 +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/8.6.1-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 15 Jan 2019 14:41:29 +0000
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.6.1-2build1
Distribution: disco
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 (8.6.1-2build1) disco; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 91005be80bd7a28807be7e64ef412c89198a7c53 2287 aac-tactics_8.6.1-2build1.dsc
 109fd0cc0749cf4d559d2404e4b9673750624462 3316 aac-tactics_8.6.1-2build1.debian.tar.xz
Checksums-Sha256:
 78823b2c0efb98cb5d7103bf3c08d00833e842778c5129b8a49a8c7fbf24d486 2287 aac-tactics_8.6.1-2build1.dsc
 550118f9ba9912d29f0bda334724dcab4a35b4d0793ecdd390e0be595f32ac78 3316 aac-tactics_8.6.1-2build1.debian.tar.xz
Files:
 f828082a8fd764145e05bac99fe76b8e 2287 math optional aac-tactics_8.6.1-2build1.dsc
 520a2c81cead2e3dd37545136c348dd7 3316 math optional aac-tactics_8.6.1-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw98SwQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9Q/RD/9cLv8VFmSVobafp28ns8hcyKtfI+VLzucF
YTPxR2eNqqr/Jji5mdcFWkcdNTb3o6qAHy+cXQ1kO6EQv4abhj6BrswXY5nb4EV7
wlnDTk6cEvCMkkSTrI8wKBzVewVxID7Rq1Yg7gH0pzrIhBPnXYsrmEx3rl+mHlHO
zjlCwLIbyS6rHxKAmEM1WO5L2Dpi5FR1CWwKvAacB+yZBLWgFkIwgRv8ilt4Gk3H
53Wv+G6hZ/Yz47UKCuw6SYpcGH2bsLEKXnhtYZZi/QKprA4ZY/eSRCMvaFqczxsp
L391XsGfQoYWKifJgVmIFwKNs5XJiqQ4SXCTVn8RVCe0wfuHR6mEddgDjcS0iZl4
lanl9QUGflnIZsnXUg4l7Xq0q1QP0pBc6+yCsrP3eeqfX0ZWPs4ZKKrcw4balPNJ
edaCoZ34aReAW4AwL+dynIdKxqEYHj2gBvsdfdhRLAUkB0ECo7fHKJrethdDAh6S
UhzdD7fAAhIELoR1eiiUIvaDbwhCTL9P38OV1JqFNwQhz4RiIVVD7WwT9PWsYqDT
9F7G05bmYhlmaug4qlLxY1wSRxsRNDdi/tsG8lv7pEggCMov6ASDB5cmpklYPubp
HyumTUjQA2Slsq7oTi/zpvmSoZewr8r2hPK4WhUMkAbJZpd8m7VNS7b4ihQ3N1bx
MzgQ+MOB6g==
=a+Pt
-----END PGP SIGNATURE-----