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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:36:07 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:36:07 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build4
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-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7934349c8c5bbe8ea0470211e8da0181c86c7341 2281 mathcomp-algebra-tactics_1.2.4-1build4.dsc
 3be9c7007c10eeb09cbe5108a266547e5fb8de7f 9152 mathcomp-algebra-tactics_1.2.4-1build4.debian.tar.xz
 f7691300de39c96b510a94926b12bc54de9f8245 6918 mathcomp-algebra-tactics_1.2.4-1build4_source.buildinfo
Checksums-Sha256:
 8c986db1bdd6ccda6c28be0b1fa54a6759c3a78219fed398163321c8377bb365 2281 mathcomp-algebra-tactics_1.2.4-1build4.dsc
 b26e421f254174972df2ef92927f785d14247f41f6198fb3c6162138e59e2e59 9152 mathcomp-algebra-tactics_1.2.4-1build4.debian.tar.xz
 fe6d3acef25502032cac95d9cf66802a7e367dbd0c559d60cbd804ef6d7284e1 6918 mathcomp-algebra-tactics_1.2.4-1build4_source.buildinfo
Files:
 61dd39e6ab3c41852c564f6197e3063e 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build4.dsc
 cc9a8ff3f888a604b49e6a082dbba4c5 9152 ocaml optional mathcomp-algebra-tactics_1.2.4-1build4.debian.tar.xz
 549e90d42bfbee917dc3220add6db04a 6918 ocaml optional mathcomp-algebra-tactics_1.2.4-1build4_source.buildinfo