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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:15:11 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:15:11 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build3
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-2build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4cfb3d994ed72b59caa23ef3bd3a9d29edbe5601 2281 mathcomp-algebra-tactics_1.1.1-2build3.dsc
 bb4da5aa1c6100d11421559e8e9c2fe1cc9ad343 8840 mathcomp-algebra-tactics_1.1.1-2build3.debian.tar.xz
 6bdb66b17f3d28ae2305a80ca597c857bd2ad439 7838 mathcomp-algebra-tactics_1.1.1-2build3_source.buildinfo
Checksums-Sha256:
 810beb3d63f960688597cb919f20c3a4b5656aeee9ead7e07cd04739c427a701 2281 mathcomp-algebra-tactics_1.1.1-2build3.dsc
 8f196b1b459df8aff540371544cc5c38719ae4182bd6c75da7f0176883e3e039 8840 mathcomp-algebra-tactics_1.1.1-2build3.debian.tar.xz
 2274872af57398a0159c13591587c53e181eb2f12dc834c8191fd3b48aea9499 7838 mathcomp-algebra-tactics_1.1.1-2build3_source.buildinfo
Files:
 054714ad2275de4a6a549e74aca415ee 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build3.dsc
 82871f4f5c721fcbf347811d5b77aad3 8840 ocaml optional mathcomp-algebra-tactics_1.1.1-2build3.debian.tar.xz
 4c5ca937b750cfc86423fdf025f99de2 7838 ocaml optional mathcomp-algebra-tactics_1.1.1-2build3_source.buildinfo