Format: 1.8
Date: Sun, 06 Feb 2022 13:55:39 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev
Built-For-Profiles: noudeb
Architecture: arm64
Version: 8.15.0-1
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-054.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 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:
 9e145d337351baad872aba6e8ed07661a728279f 7253 aac-tactics_8.15.0-1_arm64.buildinfo
 aca0168f4d0de46b0e91280ea560e99ad43ade9d 17354 libaac-tactics-ocaml-dbgsym_8.15.0-1_arm64.ddeb
 085af8d31b56f8d76ffc6698075cb86f39811112 40778 libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb
 902fb3474d9fc04b483f9b3c4f5a06dae660757b 150140 libaac-tactics-ocaml_8.15.0-1_arm64.deb
Checksums-Sha256:
 256e81b2873fae252958d1e2b89f19a9fa01d377fc008e4e7ff92722a317a694 7253 aac-tactics_8.15.0-1_arm64.buildinfo
 7858cad03f3ee1216519badc2c27ce7707af9a0628bf938b97923a41b489add2 17354 libaac-tactics-ocaml-dbgsym_8.15.0-1_arm64.ddeb
 238663f2edcbba1566abbd29ed77363fd5cda3d5185e336b5d59bcb1610bb840 40778 libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb
 514b7b78c5fffc1bdcb3b405ee61892f89443bea47701cb2b13e8fd928302e1b 150140 libaac-tactics-ocaml_8.15.0-1_arm64.deb
Files:
 15d53ffa00b821c39206d956dfdba28d 7253 math optional aac-tactics_8.15.0-1_arm64.buildinfo
 31ef1b125c199bb7b64859e5b3871c73 17354 debug optional libaac-tactics-ocaml-dbgsym_8.15.0-1_arm64.ddeb
 edc8fb6a359b3e3665d946346e15bf7e 40778 ocaml optional libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb
 c577929ae6232664c1e0ff939de56d75 150140 ocaml optional libaac-tactics-ocaml_8.15.0-1_arm64.deb