Format: 1.8
Date: Thu, 13 Mar 2025 11:08:13 +0100
Source: aac-tactics
Binary: libcoq-aac-tactics libcoq-aac-tactics-dbgsym
Architecture: source amd64
Version: 8.20.0-1+ocaml20250313
Distribution: unstable
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+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 26306a5b365ca2d723ef6b4ac634f7a33551fe55 1252 aac-tactics_8.20.0-1+ocaml20250313.dsc
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 e86a287d4b6bd95a193e5dcab54ecc13faf3927c 3888 aac-tactics_8.20.0-1+ocaml20250313.debian.tar.xz
 8bd12a725bc3653ce781697c1eef7f0f447a6fe1 7218 aac-tactics_8.20.0-1+ocaml20250313_amd64.buildinfo
 98b7855c191cd8f8e6e78b99a8e76959a0015325 13588 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml20250313_amd64.deb
 7fec88c9833b135d757109b86ba46bf11a63bf89 394444 libcoq-aac-tactics_8.20.0-1+ocaml20250313_amd64.deb
Checksums-Sha256:
 b30974ac7a3492eb4af276cf75bdd53a37d9853cc85480ae179ab7991addd095 1252 aac-tactics_8.20.0-1+ocaml20250313.dsc
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 301e0a7dfd7ca6dab08bad1a168189dc9ef955d7194e543fda9646745d2dd5e8 3888 aac-tactics_8.20.0-1+ocaml20250313.debian.tar.xz
 b437af95691742dbe994e711ea5ba6d32dc08d60f321017e806373abef7f061d 7218 aac-tactics_8.20.0-1+ocaml20250313_amd64.buildinfo
 9afdee8cd2aab4e63e0c187e6de853f3aae89266c18fa86b9b4e66067784853d 13588 libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml20250313_amd64.deb
 db9142d9fd0d72541587e300a6478be73caaaf98d4a0f096940a56604f3fc3fc 394444 libcoq-aac-tactics_8.20.0-1+ocaml20250313_amd64.deb
Files:
 61620d91c470b4909184c0eb43d4b1a4 1252 math optional aac-tactics_8.20.0-1+ocaml20250313.dsc
 ed2f78c3986c5c92964e218d5a02cded 77668 math optional aac-tactics_8.20.0.orig.tar.gz
 4e4f318723edfc7af6ec26fddb9cd33c 3888 math optional aac-tactics_8.20.0-1+ocaml20250313.debian.tar.xz
 61f5574e3046a0239037e9dd30727117 7218 math optional aac-tactics_8.20.0-1+ocaml20250313_amd64.buildinfo
 8c1fef41c60c89b9e58840d15aa5111e 13588 debug optional libcoq-aac-tactics-dbgsym_8.20.0-1+ocaml20250313_amd64.deb
 74b7d5b8b9e096cf78ba59ba18684cd4 394444 math optional libcoq-aac-tactics_8.20.0-1+ocaml20250313_amd64.deb