[ubuntu/noble-proposed] mathcomp-algebra-tactics 1.1.1-2build10 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.1.1-2build10) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:14:50 +0100
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-2build10
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:14:50 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build10
Distribution: noble
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-2build10) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1a5303b6c810a6e74cfd6f1e8d6c40502f57b494 2285 mathcomp-algebra-tactics_1.1.1-2build10.dsc
 21d03f350f3b226a47f9e2f8bfaf2507f0701b44 8940 mathcomp-algebra-tactics_1.1.1-2build10.debian.tar.xz
 7065db21a204fa2e5d04240a119230db6783cd36 7868 mathcomp-algebra-tactics_1.1.1-2build10_source.buildinfo
Checksums-Sha256:
 b1688b4b1838c69cf739ad8cc2a17d950ad90f4ac65e6e64737bfd2459b08c8f 2285 mathcomp-algebra-tactics_1.1.1-2build10.dsc
 c556e32fa62eb574105205ef4a142162e5225741d280e398ed6eddce107d66a9 8940 mathcomp-algebra-tactics_1.1.1-2build10.debian.tar.xz
 a069fb10eb044767c64159ffc68969b959234f99268934be7268a4eae0d3bffb 7868 mathcomp-algebra-tactics_1.1.1-2build10_source.buildinfo
Files:
 4e1808f45d00fdc108b56dc05998d25e 2285 ocaml optional mathcomp-algebra-tactics_1.1.1-2build10.dsc
 6228fac741aa61b37678c1eb0f01efc9 8940 ocaml optional mathcomp-algebra-tactics_1.1.1-2build10.debian.tar.xz
 4903fb4ea4715cddae85e945309a43fa 7868 ocaml optional mathcomp-algebra-tactics_1.1.1-2build10_source.buildinfo