Format: 1.8
Date: Fri, 15 May 2026 10:26:05 +0200
Source: aac-tactics
Binary: libcoq-aac-tactics libcoq-aac-tactics-dbgsym
Architecture: source amd64
Version: 8.20.0-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-aac-tactics - Coq tactics for reasoning modulo AC (theories)
Changes:
 aac-tactics (8.20.0-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 8e3a774f50458166e228de198e242f7b07a894dd 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 a9a6c131fe6b9a4071b764e4fa5c6dd75663f2ce 3880 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 c74936a5cf6f22a3aed02245edfdc3d9e3a16107 6566 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 9c7d05dda655429614ee441a3abcc065bef17e70 13788 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 78c7686b7404f0e93b3094bf8ff2930dc78ab3a7 392392 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 3853161d0c45423f2b6d2b61d9333cdfef24f9d26f8b7f5f4956a6e49818959e 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 13f880194364ffcc867e3f9dec26210443ce73d66b10f9de73df0dd07703d574 3880 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 6cb770f3efddde6e78ff9cb245fca82ad8cec92b9ca837210402ff13b8a92036 6566 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 cab5a6b6b287c7d1907dac72f5198e95f0421c375ade9cd4a77d140e0942e001 13788 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 425b6cb70270c4c6b09769bdc28d9f5def8cf101084d65d841a009cbf3b2574e 392392 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Files:
 74c7e4d1a55da6085cab118147e38352 1224 math optional aac-tactics_8.20.0-1+ocaml1.dsc
 ed2f78c3986c5c92964e218d5a02cded 77668 math optional aac-tactics_8.20.0.orig.tar.gz
 8436c40a96217a10c0499904929306f7 3880 math optional aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 673fefd846d29281a7c73dc3549f0fae 6566 math optional aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 b72f2ef4d78e37ec788da9c9a6f012dc 13788 debug optional libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 272c857e9d6afc1d0a4599a9c8b24608 392392 math optional libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb