[ubuntu/noble-proposed] mathcomp-algebra-tactics 1.2.3-1build2 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.3-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:26:42 +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.2.3-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:26:42 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-1build2
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.2.3-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e0957128f527cb9fc97a0cdce88e729b9e53434f 2281 mathcomp-algebra-tactics_1.2.3-1build2.dsc
 db41ce60ec3f9f25482b874613be215a5c50fd44 8980 mathcomp-algebra-tactics_1.2.3-1build2.debian.tar.xz
 5c2a36940ae6f58ef7817a05daf8029f6ad5aff2 7867 mathcomp-algebra-tactics_1.2.3-1build2_source.buildinfo
Checksums-Sha256:
 9a0ccbfa7f9e51a14092a73727a8446699615f2b4d88f4761029a8933b771258 2281 mathcomp-algebra-tactics_1.2.3-1build2.dsc
 a515a06cf2a12bf7a86effe61de036089e46eae93f31dcee711588f43874b3e7 8980 mathcomp-algebra-tactics_1.2.3-1build2.debian.tar.xz
 c4b1e11f607c3ce04349ea9c16bf16c098a857d32af2e3456864bc79b1cf2252 7867 mathcomp-algebra-tactics_1.2.3-1build2_source.buildinfo
Files:
 5c5662b8899a273f4e5c43b6359bc44b 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-1build2.dsc
 4b08d390499df30b5ed28bfb5a14530f 8980 ocaml optional mathcomp-algebra-tactics_1.2.3-1build2.debian.tar.xz
 e027b06b76103e3a348b6cc650029945 7867 ocaml optional mathcomp-algebra-tactics_1.2.3-1build2_source.buildinfo