[ubuntu/plucky-proposed] mathcomp-algebra-tactics 1.2.3-4build8 (Accepted)

[Jeremy Bícha]

mathcomp-algebra-tactics (1.2.3-4build8) plucky; urgency=medium

  * Rebuild against latest coq

Date: Thu, 21 Nov 2024 10:28:24 -0500
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.3-4build8
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 10:28:24 -0500
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build8
Distribution: plucky
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.3-4build8) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 2e5fe6dd6267a6e5ef0d664f7b1a03e14b1d7c4e 2281 mathcomp-algebra-tactics_1.2.3-4build8.dsc
 66ccf1601c1756c01287b661005b8c464cc74186 9244 mathcomp-algebra-tactics_1.2.3-4build8.debian.tar.xz
 a0ea5046efc8f84cc236de2add5501a24293277f 7021 mathcomp-algebra-tactics_1.2.3-4build8_source.buildinfo
Checksums-Sha256:
 39b1a34a7abfe89b14b8259209b138161dbed97c565dad6ba0ae7b420bc5db0f 2281 mathcomp-algebra-tactics_1.2.3-4build8.dsc
 7eade538f77fcbdd4d76bbe17a942c178156f4682d6069e4d3b33424452701b0 9244 mathcomp-algebra-tactics_1.2.3-4build8.debian.tar.xz
 48f342e49b30a9dfb58eb8ccb51287a0633db771b320b3a743a335e39dcb2bfe 7021 mathcomp-algebra-tactics_1.2.3-4build8_source.buildinfo
Files:
 3cc658272dd63c7d97080c1381b98685 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-4build8.dsc
 cc5a1da186959f66e72e4a7666cc9755 9244 ocaml optional mathcomp-algebra-tactics_1.2.3-4build8.debian.tar.xz
 e358b3facbef05c2d749e401dbf94223 7021 ocaml optional mathcomp-algebra-tactics_1.2.3-4build8_source.buildinfo