[ubuntu/eoan-proposed] aac-tactics 8.8.0+1.gbp069dc3b-1build2 (Accepted)

[Gianfranco Costamagna]

aac-tactics (8.8.0+1.gbp069dc3b-1build2) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 29 Jul 2019 15:57:13 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/aac-tactics/8.8.0+1.gbp069dc3b-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 29 Jul 2019 15:57:13 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.8.0+1.gbp069dc3b-1build2
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
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.8.0+1.gbp069dc3b-1build2) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6f381c917ac7b30ae299f63bc35dc60f98ca07d6 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build2.dsc
 da6c24fcf350e24f14ae30f1f117e8581eca54dd 3612 aac-tactics_8.8.0+1.gbp069dc3b-1build2.debian.tar.xz
 808e279dc5dddc6e56b461b6636ec582b1613412 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build2_source.buildinfo
Checksums-Sha256:
 bcd16622275b3c7d56dfccd3be6f13e099ad96bc713a5d25752e95813df1c3ec 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build2.dsc
 b54a3bf1f88d86c6c5ca53448d72485cff7455934e6d9ca7b42e862c9cf0c71d 3612 aac-tactics_8.8.0+1.gbp069dc3b-1build2.debian.tar.xz
 a14fcb074aed4a003623596db1d1b5fe43157445b6f8f20767fa04ccdcb670e4 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build2_source.buildinfo
Files:
 f658be234f26e27338958d816340ea4d 2301 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build2.dsc
 3fa30f2ab4e1a45b003b1d624482fee4 3612 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build2.debian.tar.xz
 68ecc631120e1ad9c00424f3625c90ce 14284 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build2_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl0++zsACgkQ808JdE6f
XdlMURAA1MsRYjN6CQFQkmg7Fv9yDF8nZuU6JX+bEc6n/WJJjjibD69R8HGpfVBr
SNo3f3Y2BL/lu0+mz5qYdG6o+r5dDxY8BeSHBLhAbzNSNpsTrovt3R5sJ8rX0pgo
U88J+88LC36VyNCBCI+sYr0vpQ8G3KsXcWzSoygYjeLDiP8dHrzEpWrhAGwZ1jUv
NZpLvzXRqSa3NmsaFJhmtnttsLyd4frcfjVPjaZy48vYO9zUMbiV1jdEdvU8Z2xG
YJYaNp7XKbQNZqzTznGrrgb7xzNN9Fy4lqXNjOQ0YiqVLrZbfZUHCmX2ln+sTYJt
Eab77vTAZ9QvWcgDQXcxos9sDc06HaLpizo2HKSon/FSgeXnSE/T5HMOiFshqmVY
GiUwS5DKSLPaZ3iQdP0ypQUocqmxcJfCRQ3dj5UM5c0MEeAjdlEoUFvyIBSQT295
u3u0DrY7J4qrqiNtQfpzReoOGePhvytKh/R5a8w5R8QY2Rt5o7GewB4aJNYwi7nU
mgfgGOBcIab37SEhNygrIUOmv25etKJZPtYx1BsgZwfnUjq4L48jkRjim/dJ3c3W
S8IwLIkPsftizVCIpy5ru3nP1SlliO1LWIMuYDo53M26aB02EfgXDK1Ikrd4N584
aW/lACa5UtFBWp5h1z63hQ3v/vENwhmcDhk3KPaVc2suIn1RyXQ=
=dtkw
-----END PGP SIGNATURE-----