Format: 1.8
Date: Sat, 25 Apr 2026 04:04:42 +0200
Source: aac-tactics
Binary: libcoq-aac-tactics libcoq-aac-tactics-dbgsym
Architecture: source amd64
Version: 8.20.0-1+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 ddc47b3abf760b5cf061e9be68c1d22271210b7c 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 a96d46df89e07653a9030b12591e53d2547b67d1 3884 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 6dc07c73caf385f90b2646b784052fea3834ef59 6626 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 f79dcf7f573cfbbef658abd9f743df0b1bf7dad0 13744 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 8c2e68f724358a3919917a0155ddfabac6bb2b13 393016 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 6c280824c17dade7679fd116a89de1494f48dac2be1e52311ccbbfb91496a6a9 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 039eb965b0f6e2a18311765b86528f14c49266b3b528f6762e0af5adc487ecc8 3884 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 36d403e46654edf52158ad3a8ebf378ef289e1a5a5b8d99306f0161ace33b827 6626 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 afacae1b27f7cea25797f1c6797e4a7bc8ae5f68abf8948785bb79bf5bbd875a 13744 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 18719afc6a60be3c31d546cd1b75e77f4bbbee171370bd09d1604029b4bb76cb 393016 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Files:
 594a7acd02d8936a930d5a87384154f2 1224 math optional aac-tactics_8.20.0-1+ocaml1.dsc
 ed2f78c3986c5c92964e218d5a02cded 77668 math optional aac-tactics_8.20.0.orig.tar.gz
 1ae3c4488355c186e720eb086ffdb754 3884 math optional aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 f1339fd4a36fef0c067dd067875645d2 6626 math optional aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 32706cdfd0e7f4e230355dcd99587321 13744 debug optional libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 7c9fff74d6a012e04ca7b25b0be4e51d 393016 math optional libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb