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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 07:50:16 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.1.1-2build12
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 07:50:16 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build12
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 mathcomp-algebra-tactics (1.1.1-2build12) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3e6227b5a71b00bb1eb2cc7075967df1fa351f67 2285 mathcomp-algebra-tactics_1.1.1-2build12.dsc
 35e67152987e1b23ae73e1c279b7a59f09ca68e2 8988 mathcomp-algebra-tactics_1.1.1-2build12.debian.tar.xz
 0c747dc45c70b6f741ddfad9380defc0f94709fe 7868 mathcomp-algebra-tactics_1.1.1-2build12_source.buildinfo
Checksums-Sha256:
 3aa5b4c682950009cc35a130f3669fd0151f0ef38f048afb4f48930459dc7685 2285 mathcomp-algebra-tactics_1.1.1-2build12.dsc
 32c27228c1de7351ab46dc8654f15a3fa9758663c5947a00c82fbbc5349950be 8988 mathcomp-algebra-tactics_1.1.1-2build12.debian.tar.xz
 24fad233ed512c68c91b88d84d66ef76640623c9efb458e79583b8ab56d4f7d8 7868 mathcomp-algebra-tactics_1.1.1-2build12_source.buildinfo
Files:
 ed82941688e8b33b87836e1708094afe 2285 ocaml optional mathcomp-algebra-tactics_1.1.1-2build12.dsc
 f9be60f075da11f41d3ee05a21c58001 8988 ocaml optional mathcomp-algebra-tactics_1.1.1-2build12.debian.tar.xz
 7ff327603f6e513bebbd10f9894686bc 7868 ocaml optional mathcomp-algebra-tactics_1.1.1-2build12_source.buildinfo