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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:20:46 +0200
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.2.4-1build5
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:20:46 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build5
Distribution: questing
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.2.4-1build5) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 74047324cd981154507a4903c1d76f4432a69be4 2281 mathcomp-algebra-tactics_1.2.4-1build5.dsc
 0885b377847c146262472fefe43b99df346683e3 9172 mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz
 287881a126762a78cfd768e2b36b585a97d8437e 6922 mathcomp-algebra-tactics_1.2.4-1build5_source.buildinfo
Checksums-Sha256:
 c580c212d31b1cd3f9053d57bcd6f99a19093b37fb906236786f7ee25c369a92 2281 mathcomp-algebra-tactics_1.2.4-1build5.dsc
 4c365cda6d286aee5700d0f13e715a9eae49f2d412fa8a3423e2f7a9888e11cf 9172 mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz
 fba3cebba89fc1a0cb2df089cf6955e1c221c088095559ab26594f4918695491 6922 mathcomp-algebra-tactics_1.2.4-1build5_source.buildinfo
Files:
 5c4e3c26a386637c106054a6bf361cb1 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build5.dsc
 2fadb9e154397529cc715b2760542699 9172 ocaml optional mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz
 801f3ca0a79c20bdc06d63890110c50f 6922 ocaml optional mathcomp-algebra-tactics_1.2.4-1build5_source.buildinfo