[ubuntu/mantic-proposed] mathcomp-algebra-tactics 1.1.1-2build7 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.1.1-2build7) mantic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 28 Jul 2023 10:34:45 +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.1.1-2build7
-------------- next part --------------
Format: 1.8
Date: Fri, 28 Jul 2023 10:34:45 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build7
Distribution: mantic
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.1.1-2build7) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7ab7741769283396522ea7861e20370dd1e03b16 2281 mathcomp-algebra-tactics_1.1.1-2build7.dsc
 359b6a7769340ac5f365a40e19a86e9dd3430aad 8888 mathcomp-algebra-tactics_1.1.1-2build7.debian.tar.xz
 37b6db6f7f8416f2816363db26da892e28f92b25 7838 mathcomp-algebra-tactics_1.1.1-2build7_source.buildinfo
Checksums-Sha256:
 bf722ce512c86ae63336eda799c43b4a8041fa3bb5f45e1e96b90acd7f669af4 2281 mathcomp-algebra-tactics_1.1.1-2build7.dsc
 499253e2bf9ed9069718d807fcd3aa20b38355d212a31d7616e7cfcc40e79bd4 8888 mathcomp-algebra-tactics_1.1.1-2build7.debian.tar.xz
 0fbdddbbce0909b4a23543b37429d4dd9845669ea937ce5a5900b395570a5a3e 7838 mathcomp-algebra-tactics_1.1.1-2build7_source.buildinfo
Files:
 f664b30f4266a4d687556860767d7550 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build7.dsc
 54ce3fe7a32d1a6718870323d18b52eb 8888 ocaml optional mathcomp-algebra-tactics_1.1.1-2build7.debian.tar.xz
 a05138cf9d421e9a4be282ae53dc757a 7838 ocaml optional mathcomp-algebra-tactics_1.1.1-2build7_source.buildinfo