[ubuntu/resolute-proposed] mathcomp-algebra-tactics 1.2.4-1build6 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.4-1build6) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:47:37 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:47:37 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build6
Distribution: resolute
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3c3438e395b25c6b2e670ccbc5481fbbbbc7f51d 2281 mathcomp-algebra-tactics_1.2.4-1build6.dsc
 ca54009c21bc83bfa3ddc62c2e5f0977b6ee3d86 9192 mathcomp-algebra-tactics_1.2.4-1build6.debian.tar.xz
 74d22eb8dcceea6be7f644ed1312a7f95d1ebf76 6924 mathcomp-algebra-tactics_1.2.4-1build6_source.buildinfo
Checksums-Sha256:
 0438dba7ef381ebec5391087e26f9e92b6647da225af8815ad124620a421eb93 2281 mathcomp-algebra-tactics_1.2.4-1build6.dsc
 f17a6db2f8376eeefef3df2d715222e4563df81e251df533484c334cb7d8a600 9192 mathcomp-algebra-tactics_1.2.4-1build6.debian.tar.xz
 3be2da9bec1dbb57ff30b62fde1b376d9db1cea9dbd6ac0762e4c3b4a44b104e 6924 mathcomp-algebra-tactics_1.2.4-1build6_source.buildinfo
Files:
 2b800ad682d4813514882d3329ff49a0 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build6.dsc
 c51b098ebfbb3f4d5b6f86bbd725ac03 9192 ocaml optional mathcomp-algebra-tactics_1.2.4-1build6.debian.tar.xz
 05f81ff2ced0eab88230ebb4d26a801d 6924 ocaml optional mathcomp-algebra-tactics_1.2.4-1build6_source.buildinfo