Format: 1.8
Date: Sun, 06 Feb 2022 13:55:39 +0100
Source: aac-tactics
Binary: libaac-tactics-coq libaac-tactics-ocaml libaac-tactics-ocaml-dev
Built-For-Profiles: noudeb
Architecture: all amd64
Version: 8.15.0-1
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-053.buildd>
Changed-By: Julien Puydt <jpuydt@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)
Closes: 970454
Changes:
 aac-tactics (8.15.0-1) unstable; urgency=medium
 .
   * Team upload.
   * Fix d/watch.
   * New upstream release.
   * Adapt to new coq library layout (closes: #970454).
   * Bump dh-compat to level 13.
   * Bump standards-version to 4.6.0.
Checksums-Sha1:
 61595744527c00a55b8b5b8df7221857be316893 7548 aac-tactics_8.15.0-1_amd64.buildinfo
 3dccf9fce38b1821d12f5609d1e6e979d7eb971b 289098 libaac-tactics-coq_8.15.0-1_all.deb
 039821226267eb209a074773d395fde1e59d0657 15382 libaac-tactics-ocaml-dbgsym_8.15.0-1_amd64.ddeb
 d5fe4bf2243d6e4bfc78885390f5ed52c472e5ef 40776 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
 d70a05876c3b620e2b1e097cc4e014e9bfa63ad0 130790 libaac-tactics-ocaml_8.15.0-1_amd64.deb
Checksums-Sha256:
 4dd7e4754c46688d68c81de8deba0d4d07be8b98a84263f560200a08259428d6 7548 aac-tactics_8.15.0-1_amd64.buildinfo
 7e5cf8ae2d534170b94bccfb782f3d07ea149ef884109a38b463a5c222922a47 289098 libaac-tactics-coq_8.15.0-1_all.deb
 1e011d8268fd75b78fe763dd0b289aa39dc9a9389568b6a12e7a81eac73b195a 15382 libaac-tactics-ocaml-dbgsym_8.15.0-1_amd64.ddeb
 0e2f60312c735e0caea5a56a5526d03e1375e053b4fd14998e727092927300d1 40776 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
 b9c1da1d446d60efb7bbc83fb6d4b48ab435b38136e022122263a77d51a4b1d0 130790 libaac-tactics-ocaml_8.15.0-1_amd64.deb
Files:
 141f5ff52cfcec879cb54353a2559adf 7548 math optional aac-tactics_8.15.0-1_amd64.buildinfo
 7a3eb305aae15751458f50b5aa874316 289098 math optional libaac-tactics-coq_8.15.0-1_all.deb
 4e49164a9158805c93aa9194920d9a27 15382 debug optional libaac-tactics-ocaml-dbgsym_8.15.0-1_amd64.ddeb
 6873fc5bd796a24d729175c5dbf11c9f 40776 ocaml optional libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb
 5d8c0877721ab565aad39628417fda40 130790 ocaml optional libaac-tactics-ocaml_8.15.0-1_amd64.deb