[ubuntu/noble-proposed] mathcomp-algebra-tactics 1.1.1-2build13 (Accepted)

[Jeremy Bícha]

mathcomp-algebra-tactics (1.1.1-2build13) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 11:18:10 -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.1.1-2build13
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 11:18:10 -0500
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build13
Distribution: noble
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.1.1-2build13) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 0afdf9cb07f74dad66b534df13644218dd6cbea4 2285 mathcomp-algebra-tactics_1.1.1-2build13.dsc
 b0d591684be8494167a0d9a5aa75d5fcc8ad1441 9036 mathcomp-algebra-tactics_1.1.1-2build13.debian.tar.xz
 f8dd223667b8d3d20bdc95a72d6186c2e4b34d47 7324 mathcomp-algebra-tactics_1.1.1-2build13_source.buildinfo
Checksums-Sha256:
 63c941b127df9b6cf9be3b8e922748e17eef4079c6fe23a1f771f331a7e61cf3 2285 mathcomp-algebra-tactics_1.1.1-2build13.dsc
 90a3d421daeb58677601f10cf6924f7b098d1f20b43e4b847fd137a59360bf8b 9036 mathcomp-algebra-tactics_1.1.1-2build13.debian.tar.xz
 8326c949c09887ca77d986483b7c8800622e3c65a48a410b8d9ea1841a079a59 7324 mathcomp-algebra-tactics_1.1.1-2build13_source.buildinfo
Files:
 90d3608192a047c7d4a0671f232cc2db 2285 ocaml optional mathcomp-algebra-tactics_1.1.1-2build13.dsc
 9555fd01e7a31206b353c8582f177ce0 9036 ocaml optional mathcomp-algebra-tactics_1.1.1-2build13.debian.tar.xz
 5407e195a5b8970121d62cd67ba62b52 7324 ocaml optional mathcomp-algebra-tactics_1.1.1-2build13_source.buildinfo