[ubuntu/oracular-proposed] mathcomp-algebra-tactics 1.2.3-4build5 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.3-4build5) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:50:32 +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.3-4build5
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:50:32 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build5
Distribution: oracular
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-4build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 34293b13183a303b5c5d86d1cb366b7c3b7d7726 2281 mathcomp-algebra-tactics_1.2.3-4build5.dsc
 7a5b074e3d592a83db94abe088c9bcf273e215e8 9164 mathcomp-algebra-tactics_1.2.3-4build5.debian.tar.xz
 e10c1b00290841c1e62769820eae9aa9d879f2de 7908 mathcomp-algebra-tactics_1.2.3-4build5_source.buildinfo
Checksums-Sha256:
 764d8c207ec71d5d87db9305c140f06bbbfb5a2805153ec0252bcd61dca95794 2281 mathcomp-algebra-tactics_1.2.3-4build5.dsc
 456fbb3da996f730d51d7ad1eb9602b65336f6810ce09ecc7c2e156dfc2f35eb 9164 mathcomp-algebra-tactics_1.2.3-4build5.debian.tar.xz
 6d42f0ad26ac786cf914732256222a1adf16bce970e26a55c736192b2d4f9ae3 7908 mathcomp-algebra-tactics_1.2.3-4build5_source.buildinfo
Files:
 3351338dc8c0ccc9cbeb0c717baf56ab 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-4build5.dsc
 eac6e0b80b00829303524107ba8dc2b3 9164 ocaml optional mathcomp-algebra-tactics_1.2.3-4build5.debian.tar.xz
 c5ac116a39b755fa49b55afa2209503d 7908 ocaml optional mathcomp-algebra-tactics_1.2.3-4build5_source.buildinfo