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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 26 Jul 2019 22:53:35 +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-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 26 Jul 2019 22:53:35 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.8.0+1.gbp069dc3b-1build1
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-1build1) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 dc74f39664321b852c73d886495c106490d8d281 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build1.dsc
 afd25826160585c9e18eaadb01a3a1c2853096f7 3604 aac-tactics_8.8.0+1.gbp069dc3b-1build1.debian.tar.xz
 8a8c7386b7e67cb3250276faae6bc079bd599644 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build1_source.buildinfo
Checksums-Sha256:
 0058a070b5416ee09d42c803a1052baf23e6abbe17f619ff3454e8c756ba001d 2301 aac-tactics_8.8.0+1.gbp069dc3b-1build1.dsc
 88603ab40bbd7c16669b66c1cc70280f6ac25058f9f04098648924db8e6145ec 3604 aac-tactics_8.8.0+1.gbp069dc3b-1build1.debian.tar.xz
 31646a8f6214faa5e7d40b6e30684db80beaf38ac4ac4cb323f9f9e64c0871df 14284 aac-tactics_8.8.0+1.gbp069dc3b-1build1_source.buildinfo
Files:
 9775bc5de136581cdbac25e808a9fa28 2301 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build1.dsc
 60a000c60fed5ae349e1c22fb4e8b7f7 3604 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build1.debian.tar.xz
 436fafdeccb04f933f3c104be5c90268 14284 math optional aac-tactics_8.8.0+1.gbp069dc3b-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl07aFEACgkQ808JdE6f
XdnQiRAAqOapcJb59KEzTWwuGLHeiRE485R+s1u0oLVWQJXSwndJmdpGXrgQ2pus
6lZ+P0Y6if6d+CtTR6S1OEtwWGAuxR//UfG8/6/9HtLJN63GeGcGuwCSXh70FPzS
J4ohbtMJ6o4l676QQ+x3PLnG52qlPrRFlvMAFx6/BdeCmuJPgwrlZxTD+fUrei2z
ijaoGgBfPEhMNiCbC/uzWhQn71OnKPsIcqTGs3a1yEzu7HnBnszsjLEy7cdDdHM4
LotWXzXO4aaNP6M6g2vIeo4okwaFNuqLQAOG/sKZ7lCJVenyTBSLzlelBSMmg2hC
lIP5kMDvc6MCjC1Yzscyy+2h9rHgQKbu52YpaJOWV+O9ZtqmmVNfxX2IrosClSCr
14UgHtCNuSrtaylgJzhk+JvxL7UMyfI2cNjmDUrhWYkNGQ3c7ccT754d+NHECx55
9QxiiaVkhpAv2fuWMxF/osl8D0Cem/Nxryw/DcLFd5TKLKghvIU888mA3/VZkxG8
k49twbffvDI7z6dvzO7hkLDlme3TAe8hQzX7HTujfblGQqMhJ72S3fyTbDXs2662
0O6ujskuS4Zg5qR5qvXvUe1XwQfkKzs4VznN5txal9MoY8/fKY0IvAG9eoauMO1C
2/a8Wh1C+OMsaaVT85ClKWyVAj6kXZx0MyUqfOptaOEfQ/fAVN8=
=2CLq
-----END PGP SIGNATURE-----