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

Gianfranco Costamagna locutusofborg at debian.org
Tue Aug 11 08:10:12 UTC 2020


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

  * Rebuild against new OCAML ABI.

Date: Tue, 11 Aug 2020 10:09:37 +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-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 11 Aug 2020 10:09:37 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.11.0-1build2
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-1build2) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d10a34cab156b61ce1645fc5f20837b3aff4e9ec 2202 aac-tactics_8.11.0-1build2.dsc
 b1bf8810d5fe30395538decd12319b8939ab867b 3596 aac-tactics_8.11.0-1build2.debian.tar.xz
 4be5b03d35e1d1ae77c4206373434705ae598375 14595 aac-tactics_8.11.0-1build2_source.buildinfo
Checksums-Sha256:
 fbc417a19db450de82b72eda9367f08bd01093911ad4d62b9621c30908837fe1 2202 aac-tactics_8.11.0-1build2.dsc
 93597b36c4f865615e1ed0a1db84ab65345fa8891480ee92399fe470cbb657e1 3596 aac-tactics_8.11.0-1build2.debian.tar.xz
 dc9f1c0efce2dd7b53cba9d8476cbd76d647a945c69b9aa84757ff7c1bb14aaa 14595 aac-tactics_8.11.0-1build2_source.buildinfo
Files:
 3fea76ca5d9d1f9f6d3f453093e49042 2202 math optional aac-tactics_8.11.0-1build2.dsc
 9459b8f3d2a1be1801faa89df764c073 3596 math optional aac-tactics_8.11.0-1build2.debian.tar.xz
 11334f70c1902b6f64d3444802b6954d 14595 math optional aac-tactics_8.11.0-1build2_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl8yUkIACgkQ808JdE6f
XdngNg/+K6tSomm2h1pAtfrF4j2nEzxg+4BohdK6Hjmd5aQPGOdBOMJIrs2cx26W
6peya48XkMT7qQdZOXycyjpjTKX2MfhpLLnjavAhrtlsVOqJh+cQhKvFSDny9uT5
jiT2EOyn5c0+12ZmORNOv1YhFtVI1JiDCHsBTfgO6sR+e0Dxn/WYnC2cn1sC5Apt
Dh36GUY77Tc6psN71/z7dYOdYqsckEkB24X3FqbQVAHQwIMEIeafWpa+AdZjW/qG
1V+A7fgGgmcNGVIJCl6JoCYnWT9Ce1hLcQedxonYFs2tOQ1Mf9koeZLOWVxehWaM
kFamBbbU/Hb/lNhqNb4aLlTAJ64de1bAMQWYrAtHwoJKTdJSMUHTdTxdOMgkmApU
ZTPztHgRr3AR3cZbe5q17NsuJFYqjBHNZPe8ycLSs7bpEcj/nQk/5N5M917Gto2y
ysYnrdVk7JSA1fUhASmWQgoL9qEi4oydNKzKM58oaKFCLNziRYVVfxajIUk3rQoY
0aMW3v5lNhNkSs3Gj62WsKQvOm6SJ+aiNR9PIV6SLsAXVbHoPMVb5N4GezsFlJnt
mjRomANSPMBUMQ884p8qKwsR5VIqa7r/ql1kfrD0/BiSBIePTR1fm+nknAhwp+8C
VUCW2Nt/KIMALrrD8xuIIWWA8clVP1XwttwTklDmhxiXC4T73sg=
=PB/b
-----END PGP SIGNATURE-----


More information about the Groovy-changes mailing list