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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:11:18 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:11:18 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build7
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9fc37f53f9cacde9de3e96c8277e30e62e365e6b 2281 mathcomp-algebra-tactics_1.2.4-1build7.dsc
 d4b06b660514b9bbe01691c0c608dc701945705d 9232 mathcomp-algebra-tactics_1.2.4-1build7.debian.tar.xz
 feceb468f13684838765d9323132d64b26a8f951 7905 mathcomp-algebra-tactics_1.2.4-1build7_source.buildinfo
Checksums-Sha256:
 8d69c6da259b0993f9f258b5443fc4b1520f183d755b39bfcc6bf2405682ecd2 2281 mathcomp-algebra-tactics_1.2.4-1build7.dsc
 74e70112c2a9faa4fd158ae6ce6635b53cbf86d41bab77972d5d2a00245d88b6 9232 mathcomp-algebra-tactics_1.2.4-1build7.debian.tar.xz
 463617ed03c9970e9a5dd2dbd237f6a558aa89cd6f2250f6614486288d055400 7905 mathcomp-algebra-tactics_1.2.4-1build7_source.buildinfo
Files:
 de58377a0d86510c552b46bce70c52a4 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build7.dsc
 7bd7949e3621001acb3eb78554552889 9232 ocaml optional mathcomp-algebra-tactics_1.2.4-1build7.debian.tar.xz
 6ead32f1511d92eca9f8b682de43aa82 7905 ocaml optional mathcomp-algebra-tactics_1.2.4-1build7_source.buildinfo