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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 21 Aug 2019 19:02:25 +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-1build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Aug 2019 19:02:25 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.8.0+1.gbp069dc3b-1build4
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-1build4) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 481fc1fe85fdd5f7f05a4c32dc34fedf11f64205 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc
 2f07de661c04076b07e430a72a5090492fad3c7e 3632 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
 68ba78e0f8b0afeed672a16beebd19354e1b4820 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build4_source.buildinfo
Checksums-Sha256:
 0d111f0df5167f42e17fad45ba4de08218b4fba7b00a25733a8bf66669c74f0c 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc
 2892a77b83ecef757e7c447da14fd88c711017246fd758394db28b4d6ff8e4d7 3632 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
 49bcf76521ffd5a3d02493963e33a996b5359457f0859951dd198f14fef4754a 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build4_source.buildinfo
Files:
 e5ad1ae7455d377f448e643168dde490 2301 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc
 e3be4e7852b5c3fa209677654a98a932 3632 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
 d6227aec1e8a48377a53b469b0002933 14284 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build4_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1deSIACgkQ808JdE6f
XdnsChAAnMZWUw2fVkbpXMeVKAgA+QaNP+BAFBnR2QJ9Dh1X5V2a7sjGo3eMVD42
aZ9G2QATJ5FOAakmodxnjNiJn2x2IkOyUckZrkdwFbUbxqgBQLJCJuGEUzpdiREq
HKkRdvK3+T82gluaxFvDHC2fSrRQDC2txDOfQ65iSqktfHdLTtQWpDHtGoPAzktw
XkmVJ77iCWspaF1LZtXOsPpZ45w66VVCY8VlyTVhSs9smZl+vUpslOBBAsqk1VZE
pketqD7oVgeGsCArgqhz4No2LZtOzYZskQMsvdONiB+QNGXPNDFVwfO/es5PYSWK
iOKN7VSI6VEFPCm/jP2EN7TtPjjoAstL6poJ2Ije3ngKM7/TGH2EM30AZs4gA/yI
telamK/WXblSwcHWtpdzfRDAWJeROVb/RDmrGnlAAx+Zg/haiFDjO7pm09uKvJR8
QbJcs16w/axyPdOy18VKGHnOqxYuGB+wyZoXnKO3isqstOh+RHXr/3O3CGq4iskd
1D2RQ42BE7LMkFGSGb+cZFCEFoWu+9t3y/SXQ0G7bO84RwBhpE+Z2Twu0UI+vBw6
OaV2FQ8ZVZcKc0mcArq4aR03eMt/s4W1LZ04JrjMAUaqx2KqjS54wD2ph6MRjR6n
9ysfK/Z0vsAAZI/TVo6F7IFZHdB1MmjsgpVqFYX1X5elWRkmu+M=
=cZQA
-----END PGP SIGNATURE-----