[ubuntu/groovy-proposed] aac-tactics 8.11.0-1build3 (Accepted)

[Gianfranco Costamagna]

aac-tactics (8.11.0-1build3) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sun, 23 Aug 2020 13:24:46 +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.11.0-1build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 23 Aug 2020 13:24:46 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.11.0-1build3
Distribution: groovy
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.11.0-1build3) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7ade38bbe5d2390f2d874d82a25112f11ab2172f 2202 aac-tactics_8.11.0-1build3.dsc
 da81de662cdb5611bd0ffa48c29b3e22534b719a 3600 aac-tactics_8.11.0-1build3.debian.tar.xz
 fc0f921f025fc55791b5cea193c47dd62bed805c 14595 aac-tactics_8.11.0-1build3_source.buildinfo
Checksums-Sha256:
 992df67d43d1bb291e37524d8f55edf2eb8e4f7cda44c9b1335f68fc4733c98c 2202 aac-tactics_8.11.0-1build3.dsc
 b3f5be1657e390065154e3bed3c85fa87ce2c8549fd4f43798cac8b29bd96bd7 3600 aac-tactics_8.11.0-1build3.debian.tar.xz
 ae4b578ece719d2769cadee0d100fd0e6dbe59cf02032b95496eb3bba3fd96d6 14595 aac-tactics_8.11.0-1build3_source.buildinfo
Files:
 51639b00580254677ef4b6c669907b6c 2202 math optional aac-tactics_8.11.0-1build3.dsc
 b8215c6688d5f0c175de2b3db1b93d8b 3600 math optional aac-tactics_8.11.0-1build3.debian.tar.xz
 079320466cf0644773765ff1e81a7175 14595 math optional aac-tactics_8.11.0-1build3_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9CUgAACgkQ808JdE6f
XdnzqA/9GeBYq5ClZ+/IVnITaOIt8HARljukzWYqG/PhOMitskwhgSf+ySSGbtB5
D///anwyx5zaCTypE6Z8M0Q5bLr2YrF2/I36lkvCKpOpIrrgWYAoQH9neB3aMDkG
TAi0JZjXyUydOQdwMjFfSFpUXTUmagEzQDPGOd2Npi6mJdrDrkE/LEHI18vWTI39
mkFEYXLfjaQrNJzQOg+n0e0XYH13wy6ktPAGy3mm0nJhGQK0kTaDkowcmobZ0f86
3LwvpmAAuF0B4mU0xHxDRqgkltxb9XPqD/Mah+NxVe0t8kKZEqtfbMPGeidf/psv
/1Hy8f0ulo60+vI74SyDvNMjE0U92/GJ1DtXlA+Jm3BGRGuhjKfqnWpxryb2jTHn
Ui2spsWcCd8VwkS0vVDmggU23QnKcQxH9SyBHAAwFrN6EwtCYOZaFnZ4YbomZwF/
dvqEe17uDooxNPuQmH1PUGYdecsrRwWEkNVYY9L4V4QYAz+w5/J9yPAd/Xvmran8
Prawsr0l+d2wWI4XQWACX6lRz14HVszJbBTjibo5QzuAtJLvhF4uZHwgxtkcRdUn
+d43u2sOudp44qq7hzwTWGPWCvv1xDfIiWdQ2LD21ZrgWoyOsluJLaLh/Qr0575T
dRig/u1UMTrMCne3HU4ypTu4FvkZ4PJeuOfWbD4ZL3M/9WVVG4w=
=aUIZ
-----END PGP SIGNATURE-----