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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 26 Jul 2023 12:31:50 +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-2build4
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 12:31:50 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build4
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-2build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0de036c9d5b3227ac3ae21e3681ab8a9ff130822 2281 mathcomp-algebra-tactics_1.1.1-2build4.dsc
 60cce632d93a57694f536f29a0ab24581c553c8d 8852 mathcomp-algebra-tactics_1.1.1-2build4.debian.tar.xz
 8730c87e48cec6d3d73fa4462768473cf1be8b82 7838 mathcomp-algebra-tactics_1.1.1-2build4_source.buildinfo
Checksums-Sha256:
 443d0b9de7709b86bbf3a451d27ba0d86a317447995aa0f2e15edde4bad8ce68 2281 mathcomp-algebra-tactics_1.1.1-2build4.dsc
 d9d33ac7035644bdcaebb3ead8d603bac4dd8c4d4ce53ea492fc482f25ff8805 8852 mathcomp-algebra-tactics_1.1.1-2build4.debian.tar.xz
 e24f378c194491926f9af2a93a1172df165f28168daaa5da7851b5bcecef124b 7838 mathcomp-algebra-tactics_1.1.1-2build4_source.buildinfo
Files:
 7a6ee9b9d84847ca9a7d3ded47d0b098 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build4.dsc
 075e18434a919bff93a2eb0a4e4157e0 8852 ocaml optional mathcomp-algebra-tactics_1.1.1-2build4.debian.tar.xz
 b56b1091d5a84b0832dd43d97f0e4253 7838 ocaml optional mathcomp-algebra-tactics_1.1.1-2build4_source.buildinfo