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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 18 Jul 2023 08:17:46 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Jul 2023 08:17:46 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build2
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-2build2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 26142d9d8624868be30db2eef21f335a8c462fa6 2281 mathcomp-algebra-tactics_1.1.1-2build2.dsc
 5fe1b9198cdd296470aa14bed5644d027dede03a 8820 mathcomp-algebra-tactics_1.1.1-2build2.debian.tar.xz
 0b0bfa139291510714500b9046a6629b438b8d33 7838 mathcomp-algebra-tactics_1.1.1-2build2_source.buildinfo
Checksums-Sha256:
 190f862ecf3230ced3ab66d3ae39625f1444e0906886413c061599ccfebf5a24 2281 mathcomp-algebra-tactics_1.1.1-2build2.dsc
 92e42cab444dff6d608ead55a36fef22d9d18c28a8a4c63ec7b18e7b50afffbd 8820 mathcomp-algebra-tactics_1.1.1-2build2.debian.tar.xz
 2ce39c9123b48b617a7e93dc226704647a17d584511f05758e7e493846a9fb44 7838 mathcomp-algebra-tactics_1.1.1-2build2_source.buildinfo
Files:
 e7f209a290232429b0d165b02743f120 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build2.dsc
 ce7302ffa7797eb272c0ffe9b75bff79 8820 ocaml optional mathcomp-algebra-tactics_1.1.1-2build2.debian.tar.xz
 6b5da225ae1a9e9ede573a6b6e5be821 7838 ocaml optional mathcomp-algebra-tactics_1.1.1-2build2_source.buildinfo