Format: 1.8
Date: Thu, 02 Jul 2026 15:24:23 +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.5.0
Checksums-Sha1:
 a0aa5b81c80a8df6053baa05e5748aee3a9f50cb 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 1d4cf4d93bab24dcaca9ae973d033c578840c2e1 3880 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 70f78d8ef3388240ad38c36c4cf0614af17dbe60 6641 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 24e7fa201742739f56bfc9d7f8adc9d4e3b314e0 13836 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 290015e01a90ce52c8d0ad6ddba1b1c6b06d3cc6 392932 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 00a4f7df804682e2ac202e2c9c4dcef9b75abde357560e34c64f58cb25d11455 1224 aac-tactics_8.20.0-1+ocaml1.dsc
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 5d2cc1f41e2d5a3f3b88decfaf22f6b120625293042e18cf2d4bef732904224f 3880 aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 50895977d29e67ae8380af72fcac7ab8d1f64ba030cebdec165f97338767cdff 6641 aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 da5fa5a9a7125811eae6596e1fed1d40dd67adda0c1dff4276e5b6f4efef2bbe 13836 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 f222ceba225b05ec5975c7d511a041bc0e4b73186cae6f29f36e0fec817b0eba 392932 libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb
Files:
 03b0e98580452a305c88e38f721187d4 1224 math optional aac-tactics_8.20.0-1+ocaml1.dsc
 ed2f78c3986c5c92964e218d5a02cded 77668 math optional aac-tactics_8.20.0.orig.tar.gz
 3dc79213954e799f76e0d1874922887f 3880 math optional aac-tactics_8.20.0-1+ocaml1.debian.tar.xz
 3377bf8b90908f1330014c6288835240 6641 math optional aac-tactics_8.20.0-1+ocaml1_amd64.buildinfo
 7153fe4a0608fd85ceb89b4781c6d76a 13836 debug optional libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml1_amd64.deb
 f42322ee7e1a9331f45b5e69028abff4 392932 math optional libcoq-aac-tactics_8.20.0-1+ocaml1_amd64.deb