Format: 1.8
Date: Wed, 04 Nov 2015 18:04:52 -0600
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 0.4-5build2
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak@canonical.com>
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 (0.4-5build2) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 89ee51e86d4b6cdc37841f7b7bc97a7443830f24 1914 aac-tactics_0.4-5build2.dsc
 e2a0932900f04422c29e43b79e44e25d77dc9932 3076 aac-tactics_0.4-5build2.debian.tar.xz
Checksums-Sha256:
 708da16bb12386f530cad79c6a13ca8dd56430d496dea36df3bceecfed211aae 1914 aac-tactics_0.4-5build2.dsc
 441f4dda71dbb9e0771267dc5cd9576c4250febf264a9845d2506b3cc58e012b 3076 aac-tactics_0.4-5build2.debian.tar.xz
Files:
 ffb121fe2c922a17cba18971a4ca4227 1914 math optional aac-tactics_0.4-5build2.dsc
 f47134d9aed835940b3120c67260466d 3076 math optional aac-tactics_0.4-5build2.debian.tar.xz