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

Gianfranco Costamagna locutusofborg at debian.org
Wed May 13 11:48:14 UTC 2020


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

  * Rebuild against new OCAML ABI.

Date: Wed, 13 May 2020 13:47:09 +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-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 13 May 2020 13:47:09 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.11.0-1build1
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-1build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 68bd6759b777396d95485fc6107a5a8898a178d2 2202 aac-tactics_8.11.0-1build1.dsc
 24d5ecc426ad5cdc4da77fd589cc28f455099352 3580 aac-tactics_8.11.0-1build1.debian.tar.xz
 f9f0a0393aa19b06affadd8ea83da54e9160c496 14513 aac-tactics_8.11.0-1build1_source.buildinfo
Checksums-Sha256:
 390571d3d833a08bb255e8f18af288a9acabf6936819c0de282ae9e4f5b9a4b8 2202 aac-tactics_8.11.0-1build1.dsc
 2584d2c668988e5d0f4c864edbb81b2719933ae68a55b630e4ada0131409aeaa 3580 aac-tactics_8.11.0-1build1.debian.tar.xz
 59a844a35f451416820a215afe9069dda29bb31842a00d961b06f98baf17521f 14513 aac-tactics_8.11.0-1build1_source.buildinfo
Files:
 507db530617b94749cae1bf2a30baf2b 2202 math optional aac-tactics_8.11.0-1build1.dsc
 4ab920a9a2e4586668f77a9a2a6f223d 3580 math optional aac-tactics_8.11.0-1build1.debian.tar.xz
 d0e8c6b37908cd1c8add9a514b39462f 14513 math optional aac-tactics_8.11.0-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl673j8ACgkQ808JdE6f
XdkxiBAA27Vvk2vdwx0O/YIHJB5zIY7qr3xMxtxorxqPiqi0Q2i3hU5azEILECI0
MwYw5Vc2u3oTHGXBFT08NAGX4Xc6RPMGHiF1vPzaKBX8IFBjyRe/AVbWZE6A3Rdx
wk3Ti6NVmAt4yQHGJ86rKPCjQjPUR2nqjtDVpxe7fFQJ2I3ONvHr61pd8kH2Y+9L
JhHIDLNKIcSdttVsLdcAc1DGy6oJbRN1NwA5lBJHPZnG0vARo+Ep+9oGP/NBX8GU
ywHMwSPJleb7wyVck9oGEBfhCaXUar4Gi9qmbRhno+d1Z306eg/pXs0IsL/coPM7
sxSsoqSyz1QZdWExyDHGru1XEvMEnFdNZ1RWaQCWazGWRBJMjA8+dmfMKTWRhsVp
yaC/A2SvtmNWYgBgdp1dwGT19z7HhsjULlolNjMghdZy+Rb8ycIkz3Vw2RNeIQqn
bK1Klu46z8dHILJwige5OlZwOjvJE/CfXVv993OZq8M4CsSKauJOJprZyILw2JHM
OOeB+P+jV0vH16dEdlqCn5GBU5cXqNffCvrgKTWgvDhRIXuRm1w5fFpsk4SXUCwh
77nUBHxNBZLfcirNRFkhUNzcuxpEH02g9A6qil1q8TVTMitsT2EE0SrY/b7rI/i9
ykXHUs7A6MiGZ5cEZVaeBN0Fu2B3Q3v8JUlrimK9sqBek2k8NKg=
=C4Uc
-----END PGP SIGNATURE-----


More information about the Groovy-changes mailing list