[ubuntu/bionic-proposed] aac-tactics 8.6.1-1build5 (Accepted)

[Gianfranco Costamagna]

aac-tactics (8.6.1-1build5) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 28 Oct 2017 16:38:34 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/aac-tactics/8.6.1-1build5
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Oct 2017 16:38:34 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.6.1-1build5
Distribution: bionic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
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-1build5) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 821173015e3105a247fae77aa10acb1356bc4085 2302 aac-tactics_8.6.1-1build5.dsc
 b203cb3ae44502525310debe6831aa75d67ed2e8 3492 aac-tactics_8.6.1-1build5.debian.tar.xz
 b4985c783371f61c60a705522055950b99384d99 10016 aac-tactics_8.6.1-1build5_source.buildinfo
Checksums-Sha256:
 9cfc65246021d32199c9b16ed5292b74301d7c832bf3689a232321760047ba80 2302 aac-tactics_8.6.1-1build5.dsc
 222b9bd740719d16759718ed325b86b85156ce7b02f3ae80e1d2a67ad2bdcf61 3492 aac-tactics_8.6.1-1build5.debian.tar.xz
 a67128b249a8e8a49a3573dd0f23dba8de6ae5b1f5aee98cff3cb0626372f164 10016 aac-tactics_8.6.1-1build5_source.buildinfo
Files:
 d831e12a6808a6c78ad3ad9deda0ad40 2302 math optional aac-tactics_8.6.1-1build5.dsc
 fe51bf9c4fe4d68b332a465e47799ebe 3492 math optional aac-tactics_8.6.1-1build5.debian.tar.xz
 5052f84a9d8b4b81997c9b4e36c4948c 10016 math optional aac-tactics_8.6.1-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCAAGBQJZ9JZwAAoJEPNPCXROn13ZtDAP/1HDyUCm4pjQiQVOGqax/v1g
EZ79fiH86cTMsx5TxJQ+KSATPaw519fapdgGH/6viM76CghIppg1dLplsZz2Lmoz
L9qfee6AN/0tE6lj4slLGHrRkuSQPhwCv0lE8XORGvWsGTtPKUQzGsJ+gRUT47k1
hfVpXd/tkLK2Z7JHj+ED6t0JV9WaPw9NuU6kam8DbQ1QuP34bN3NhKjmEuR0dvBZ
aIW0La9bGikCxULxVmvldETNyuF1Zdb0Ig2m1C+ZPEBrIBt9OM/y+e/vG97pBSpB
4LXqzSYvY+AR+TYV/jduWvkx0TEYfRRONGcuKGB7bXDeUfe3F6M9wensfKGK0uMG
o5OtGsK873KXdSVILsehUpQQGVCbG30kgKIGsHvgM0t6ZX0hQ2flq9U+R5aHdqvF
ZFyIZs340kQlW/3X6EUgKNxXAuoU9NjtjZhqQvhynWcKqHEXbSwvyLSsAb0Tkd97
PEFV7kY94qHRQTUH4EfCb61YZFKNoWP3VrCigiGONo+wbnfTMdqSExrul7QbdOSo
ImNqFoiBecyFNigibs6mU2yxZrhanUPQ77JatpHHK+LP9298jYYJQhNMspKMpNxM
nELjkLWTegA/jWzHHP+5x1tJLl9mbJby9q9FREvtVwbOYF24qa1oFucQsEC/xQHB
XHLUY1bwwaEg9yichtPv
=GDVW
-----END PGP SIGNATURE-----