Format: 1.8
Date: Sat, 25 Apr 2026 08:48:48 +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:
 74e13df14b653bf3643ffc19d4611d586b90e98f 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 4188283ea26617603ff1124243f1baaa4cc4864b 3880 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 20af40c4e70748b1e8da83aa770438682137c80c 6565 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 09f0eb487b257dccf5177f6afb45308d7e6167d4 13780 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 bf3c0e0baa6b81407cfa6e6391385e87d51cc968 392644 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 490f656d1b8896b197feb1f8a66f973ac5654523093cebcecf51b5988adb7f45 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 342a2f057d1b268f6e8c7969d6852b323b63f31073b2868c21f219be8322f2c4 3880 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 b85f08c197f8944d40e2a304e46a7631a4bb7a5312d741d06a7f09b867d5aaeb 6565 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 2caf2ef667284b1239c3d47336d97d4363d7658228b1b2aeaaf94b74bd6230fd 13780 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 a6e176c71adfb1cff4407520a96324c4dca3e87d2c8ac12a4f2fc6072256e8c3 392644 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Files:
 7423222c4ef7aab7d2ec1a6c6687a42c 1224 math optional aac-tactics_8.20.0-1+ocaml1.dsc
 ed2f78c3986c5c92964e218d5a02cded 77668 math optional aac-tactics_8.20.0.orig.tar.gz
 ad54bc0503ce97c68fa226eb1c893827 3880 math optional aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 cb414fa4d78b45a1dbf905f34f229d51 6565 math optional aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 1f5a9637ab3603dbf2a883983a9170ee 13780 debug optional libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 3eb3be4fbee11c22ba9a4c4a9e8ae1dd 392644 math optional libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb