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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:06:29 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:06:29 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build3
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-1build3) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3383fdce53fb4f199b93d123ad3c7199a0974aeb 2281 mathcomp-algebra-tactics_1.2.4-1build3.dsc
 befbfc96b9c3d6b1f344a2380e133dacb8b7d944 9140 mathcomp-algebra-tactics_1.2.4-1build3.debian.tar.xz
 a35a59e19adc38da4b316b6f95a9cd8cc80e7a72 6918 mathcomp-algebra-tactics_1.2.4-1build3_source.buildinfo
Checksums-Sha256:
 8a7b90bcdd47e7e4be0c53d753bad1d8222f6d9a6761ce6bbba2b62f67749c98 2281 mathcomp-algebra-tactics_1.2.4-1build3.dsc
 30174fa5b9ff6190ca6a2ec8f8ffa94bb414dadf3d0e252890df30d4314f579a 9140 mathcomp-algebra-tactics_1.2.4-1build3.debian.tar.xz
 17aaf3fb96ba451b83891ea9f5e03a4d7ced456c12cd151d543666aa3a27b254 6918 mathcomp-algebra-tactics_1.2.4-1build3_source.buildinfo
Files:
 3fe5fb4852e88bde5aa46c9d53b34aae 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build3.dsc
 19ccfb4a3a4fc1a9f84d44acd9bf2cd2 9140 ocaml optional mathcomp-algebra-tactics_1.2.4-1build3.debian.tar.xz
 c03c1e97cf03aeac8ae20cea519c3940 6918 ocaml optional mathcomp-algebra-tactics_1.2.4-1build3_source.buildinfo