[ubuntu/questing-proposed] mathcomp-algebra-tactics 1.2.4-1build2 (Accepted)

[Jeremy Bícha]

mathcomp-algebra-tactics (1.2.4-1build2) questing; urgency=medium

  * Rebuild against coq libraries

Date: Thu, 08 May 2025 13:23:20 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.2.4-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 13:23:20 -0400
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build2
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-algebra-tactics (1.2.4-1build2) questing; urgency=medium
 .
   * Rebuild against coq libraries
Checksums-Sha1:
 b9b01ade58c8e3474a1de4001ddbc23a37dcadb6 2281 mathcomp-algebra-tactics_1.2.4-1build2.dsc
 b87075e121aed6b77656fe69f87e9c6ba8b6f3dd 9120 mathcomp-algebra-tactics_1.2.4-1build2.debian.tar.xz
 15af1e46368587f58457a8f5ce1a6483e48cedce 6953 mathcomp-algebra-tactics_1.2.4-1build2_source.buildinfo
Checksums-Sha256:
 a62124e2df3b170deaa2357bb9d3a62574604d463404dd3e83e9c2662fe85063 2281 mathcomp-algebra-tactics_1.2.4-1build2.dsc
 9df49bd42bcc53eeb09dcb2b2fa83e855ac28c15f6cd81909e6c743c75be5d80 9120 mathcomp-algebra-tactics_1.2.4-1build2.debian.tar.xz
 0386871e15293287ed1f1bc6d137f8d480757fb1f71c2dc41d86e89c08d64348 6953 mathcomp-algebra-tactics_1.2.4-1build2_source.buildinfo
Files:
 4ff6518d671a5b0ade74a3003a031867 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build2.dsc
 052bb5c2a6e83ef78ea92edfca6c9e1c 9120 ocaml optional mathcomp-algebra-tactics_1.2.4-1build2.debian.tar.xz
 36560af1f45fa370b5e2c39f48f1543b 6953 ocaml optional mathcomp-algebra-tactics_1.2.4-1build2_source.buildinfo