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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 31 Jan 2025 09:09: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-4build11
-------------- next part --------------
Format: 1.8
Date: Fri, 31 Jan 2025 09:09:48 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build11
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-4build11) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c7a9455ddfaeccc872a1f93b21b397ca477d9636 2285 mathcomp-algebra-tactics_1.2.3-4build11.dsc
 12de5af68f73b05b6762cff2846bfc1e4db2fca0 9296 mathcomp-algebra-tactics_1.2.3-4build11.debian.tar.xz
 ff0656686ff4cc65352b9f2c1c7f8e444420d72d 7820 mathcomp-algebra-tactics_1.2.3-4build11_source.buildinfo
Checksums-Sha256:
 e531e7f3a94f196ee15fd4fd0cd5628bae5e2d95cb7c46eeda525c217cf0954f 2285 mathcomp-algebra-tactics_1.2.3-4build11.dsc
 7e096d0eadfeb2c93d79ca30c0e10748787d5f14059db816674cc6549e7b68ac 9296 mathcomp-algebra-tactics_1.2.3-4build11.debian.tar.xz
 d5c3f772fb0d20b1346573e97e2f79c9234e683655324bc8d7adf43a16732cd3 7820 mathcomp-algebra-tactics_1.2.3-4build11_source.buildinfo
Files:
 8962340477cbdf07cb12d39788b61b68 2285 ocaml optional mathcomp-algebra-tactics_1.2.3-4build11.dsc
 cbe523185f97276786f193d96a853b24 9296 ocaml optional mathcomp-algebra-tactics_1.2.3-4build11.debian.tar.xz
 6bd3a2e832b308b3dbd955ef242c744d 7820 ocaml optional mathcomp-algebra-tactics_1.2.3-4build11_source.buildinfo