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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:41:48 +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-4build10
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:41:48 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build10
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-4build10) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 fb1a60bb73f9db802316910d0505c758a36c70bd 2285 mathcomp-algebra-tactics_1.2.3-4build10.dsc
 a74043e711651d193175e195f7af346f549c4445 9284 mathcomp-algebra-tactics_1.2.3-4build10.debian.tar.xz
 70270934d15a3ef8dbf140a538f0cf07011229dd 7820 mathcomp-algebra-tactics_1.2.3-4build10_source.buildinfo
Checksums-Sha256:
 dea7f32e154238e22785cd9d1ba7cca11318770b56c3c93167b9dcf7fa7499cf 2285 mathcomp-algebra-tactics_1.2.3-4build10.dsc
 17417fdc1fa4b1ea611956e2a49695873f4dd495d5ea267a422b530d4d7d04ba 9284 mathcomp-algebra-tactics_1.2.3-4build10.debian.tar.xz
 359b0129c5358a973a12c227154705647766e2cffeb36d43aec7668b6aa008db 7820 mathcomp-algebra-tactics_1.2.3-4build10_source.buildinfo
Files:
 2d217d23f0bc2cba5dd5fadbfbd86ba5 2285 ocaml optional mathcomp-algebra-tactics_1.2.3-4build10.dsc
 d1d16eb45bd764a852b2d1033bc0fb34 9284 ocaml optional mathcomp-algebra-tactics_1.2.3-4build10.debian.tar.xz
 0cbd381f6fbddc042f6e52f3c95ccbbd 7820 ocaml optional mathcomp-algebra-tactics_1.2.3-4build10_source.buildinfo