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@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@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