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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 17 Feb 2025 06:34:07 +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-4build13
-------------- next part --------------
Format: 1.8
Date: Mon, 17 Feb 2025 06:34:07 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build13
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-4build13) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 73244e67655382ce6de8a6220651a7233071b604 2285 mathcomp-algebra-tactics_1.2.3-4build13.dsc
 65b2e1bd08b3c5aa508d7977fde5b892264c51eb 9324 mathcomp-algebra-tactics_1.2.3-4build13.debian.tar.xz
 9c6c349be793852daacdcbcb1f10fb6be7fb38e7 7359 mathcomp-algebra-tactics_1.2.3-4build13_source.buildinfo
Checksums-Sha256:
 2cba669b924b00744e7f9587838cb30ef1a419e2590cb5dd0aba37716427145f 2285 mathcomp-algebra-tactics_1.2.3-4build13.dsc
 5d771cf77b1645004977df14de6846415d5d3e26476530f4ced96ed60aff9ee0 9324 mathcomp-algebra-tactics_1.2.3-4build13.debian.tar.xz
 1558fa86d6ca4bfb372bf19e86fd010524ee03fad0cc22e9a8f2ca02e64efc2a 7359 mathcomp-algebra-tactics_1.2.3-4build13_source.buildinfo
Files:
 528d8dc26b69c5f63666ed0bd37f3e2c 2285 ocaml optional mathcomp-algebra-tactics_1.2.3-4build13.dsc
 38e8c620f34acbe3725e133cef4eb02c 9324 ocaml optional mathcomp-algebra-tactics_1.2.3-4build13.debian.tar.xz
 a62cb70fe90b4ab326003ce12ebc4c41 7359 ocaml optional mathcomp-algebra-tactics_1.2.3-4build13_source.buildinfo