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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 04 Jan 2026 23:30:09 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 23:30:09 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build8
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-1build8) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d8a0c9c944c46803de83c6852ac2baa30bb057e1 2281 mathcomp-algebra-tactics_1.2.4-1build8.dsc
 655ca2850da3f5a0e7e652750a228d5e74262e74 9244 mathcomp-algebra-tactics_1.2.4-1build8.debian.tar.xz
 6627e9321335c0a81133814e896eb59130805459 7911 mathcomp-algebra-tactics_1.2.4-1build8_source.buildinfo
Checksums-Sha256:
 6a4fc0d3186380f7e711aed9fadb9c709b644c2bc96b9fa0d3204932f161bf3a 2281 mathcomp-algebra-tactics_1.2.4-1build8.dsc
 ae7f83e02e7f2cbeb5d7844cac96ada9bf1f9c2110e7efa724c26d1a3b29d834 9244 mathcomp-algebra-tactics_1.2.4-1build8.debian.tar.xz
 b4564254347f376387e14d298c1e304528cac54081a09575e98ec32f4cdafea1 7911 mathcomp-algebra-tactics_1.2.4-1build8_source.buildinfo
Files:
 a849806921817d7bc0687cc899fdb611 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build8.dsc
 cb3d7f79d6bed34e47424aa67205dbb6 9244 ocaml optional mathcomp-algebra-tactics_1.2.4-1build8.debian.tar.xz
 41042a1ecf791f11c70f3a7b4e0118eb 7911 ocaml optional mathcomp-algebra-tactics_1.2.4-1build8_source.buildinfo