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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 Jan 2026 08:25:03 +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.2.4-1build9
-------------- next part --------------
Format: 1.8
Date: Wed, 28 Jan 2026 08:25:03 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build9
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-1build9) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 90d7fd498ba030491cfc35cbb8e616dbfab1cd53 2281 mathcomp-algebra-tactics_1.2.4-1build9.dsc
 f07c1c4cd6bf9494ce12cc7a4deb5aaf72f52318 9252 mathcomp-algebra-tactics_1.2.4-1build9.debian.tar.xz
 0ab1e6b3d05fdd9476893e216a99930274e33344 7915 mathcomp-algebra-tactics_1.2.4-1build9_source.buildinfo
Checksums-Sha256:
 3bd6838dc442d2f0efe78d75f2334565cae73b250e393404854276474ca7781e 2281 mathcomp-algebra-tactics_1.2.4-1build9.dsc
 84b7d646657540079fd505caa8abfaace8e3876410c5a5b2695e14f34e6c080e 9252 mathcomp-algebra-tactics_1.2.4-1build9.debian.tar.xz
 8f9c371b97431eb375d84cc4d83c29fec41d16a4e5457a7f175bd16f89d64b04 7915 mathcomp-algebra-tactics_1.2.4-1build9_source.buildinfo
Files:
 4d8e30f5b43fe67b9632b82abd061fdd 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build9.dsc
 34cc62c11db775a0bf0571410c535789 9252 ocaml optional mathcomp-algebra-tactics_1.2.4-1build9.debian.tar.xz
 c0f2b07be72463a14aaa45646da0d96e 7915 ocaml optional mathcomp-algebra-tactics_1.2.4-1build9_source.buildinfo