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

Gianfranco Costamagna locutusofborg at debian.org
Wed Sep 16 09:26:12 UTC 2020


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

  * Rebuild against new OCAML ABI.

Date: Wed, 16 Sep 2020 11:25:54 +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-1build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 16 Sep 2020 11:25:54 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.11.0-1build4
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-1build4) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 572edf6cf13340ab8c011090c67dc3d14052d675 2202 aac-tactics_8.11.0-1build4.dsc
 8b8c129b84c969a7651441b6f87c3ba7dddbdb06 3616 aac-tactics_8.11.0-1build4.debian.tar.xz
 ba06364734d17f6eec5a3ba65da9bc6102eb4551 14596 aac-tactics_8.11.0-1build4_source.buildinfo
Checksums-Sha256:
 77541a59f9504e7365806dc0348668efc54435a74b79c343234d11403ed93e91 2202 aac-tactics_8.11.0-1build4.dsc
 3643be4aadd8779c6774f2dcd8fe6e22267a53802d9f4ca96b6de870a4aa34b9 3616 aac-tactics_8.11.0-1build4.debian.tar.xz
 9181e1cc9b014779d77bdcc3015b2d749219f6a3cf8493141f0fb4da05a0bc20 14596 aac-tactics_8.11.0-1build4_source.buildinfo
Files:
 801cb741ec6a7b7ea9b58f60b225a621 2202 math optional aac-tactics_8.11.0-1build4.dsc
 adf21741b5b6ac1a9c26a0174df41f98 3616 math optional aac-tactics_8.11.0-1build4.debian.tar.xz
 2313702891a29e2f15adbba6fcc3b3e0 14596 math optional aac-tactics_8.11.0-1build4_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9h2iMACgkQ808JdE6f
Xdn6RBAAjZ1kK3ih9/jBp+TVmmxvsiCHWXIVzgcBeBao+qrDdRB1OxOdPw/mpMm3
b9NF1LjU437NWaD6oYAzlXUuCkO9fJ3bb/IU6tmJOtb2ZJBeDUAsLFJYxig3T6qx
z8Wpgowg7n/dXkkbeZeXk8PPbBLqgr2zkZ4h/nuvjLdZnPGvlgjy/vrCrYkXSm+9
BAmunwQLTIbVhgySPdnE8bQ+7ixWJ0XS8Rz6zrRlCXOY3h7zNAtHg2vBScIxNCnS
ISHONP1M4q3pQcIEPu9DIQRSj7iP7Axi4Vw/nRSlgwoBvujzcFpbIHL6xqEmQu6V
lKih3U7s05ATAXzNxvZCnekRp6UeYI8y3NTjX9iIPxQoVRc9abPsE7cA3ubO0T3b
Ref9hLGJ7fGmcktd7vrK1ninwYe5B143NggT3RKQPbxSwlKcQhvgK+EmgZ/CKtSn
KmFdQfshxwqjF4ZmkJPZU5edzQz+XDl2wrF+iU3CsnX7Dfrik9vGIbQwGV9u39p3
n/oG8c1nYhjluRetyaCxcl/a60AsRnCWucq+wsyoGruAAa95Jkyc2k4sCJTbxyrf
GDiD0kNDOjBmhLNq+CAG8BiB0u9Gac/c7/xaNPAEuErvhCpuJ2Y0LqVmm6becr6J
pRaxz1QwQd4ywTWFISGMi9vyzAc4TOUjNB7e7HNlEuMuRihW3gQ=
=egA5
-----END PGP SIGNATURE-----


More information about the Groovy-changes mailing list