[ubuntu/plucky-proposed] mathcomp-algebra-tactics 1.2.3-4build12 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.3-4build12) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:57:28 +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.3-4build12
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:57:28 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build12
Distribution: plucky
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.3-4build12) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d44a3ef80212fb69ddead998908245225ef90e62 2285 mathcomp-algebra-tactics_1.2.3-4build12.dsc
 4626edf8343c197db63a1dd6bd1322da0df8cac2 9308 mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz
 987972c47380fe688a96d5a481c8c56b10744f6e 7359 mathcomp-algebra-tactics_1.2.3-4build12_source.buildinfo
Checksums-Sha256:
 d70061921bfbe6fb459355ae2d749a4ca8ab13e731426db945dd10f24076e62c 2285 mathcomp-algebra-tactics_1.2.3-4build12.dsc
 9317f35561095a39fcfd004ff12360bc372546d0e8f24dae0e1f3900856667b8 9308 mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz
 af2b29a4b1180e17f6109b7afbe5dcf6187f23fb0d419bc51ecb7221b8883bdc 7359 mathcomp-algebra-tactics_1.2.3-4build12_source.buildinfo
Files:
 64dbe1d7fe5818efffbc2ac73b74cee8 2285 ocaml optional mathcomp-algebra-tactics_1.2.3-4build12.dsc
 a14ac58d18825d2fe7d79a86b2cd7c5a 9308 ocaml optional mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz
 1976a6d9e54e2c024a20dd8da0cd42d7 7359 ocaml optional mathcomp-algebra-tactics_1.2.3-4build12_source.buildinfo