[ubuntu/oracular-proposed] mathcomp-algebra-tactics 1.2.3-3build3 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.3-3build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:42: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.2.3-3build3
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:42:50 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-3build3
Distribution: oracular
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-3build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f0df1b510e0dc540f62f6ebc7e84caf7bb0d5068 2281 mathcomp-algebra-tactics_1.2.3-3build3.dsc
 472588a5bd8863833559526a65c5fb06d907d6ba 9004 mathcomp-algebra-tactics_1.2.3-3build3.debian.tar.xz
 bb0994be73dfbe42652b1f4f08860e840c06fac5 7884 mathcomp-algebra-tactics_1.2.3-3build3_source.buildinfo
Checksums-Sha256:
 8a4ea518c43a8a6102836eca6ab25411b3b3bfefad35fdf1150644e1444ce96b 2281 mathcomp-algebra-tactics_1.2.3-3build3.dsc
 0756da8a94f6b9753ef0f4bb354e2eb45e45e2812060ac2dfbe83781443d8ec6 9004 mathcomp-algebra-tactics_1.2.3-3build3.debian.tar.xz
 65fbfe4f1f8017a8396655e29648b622b3d1feb2dc70b36e0ec997b03273a0bc 7884 mathcomp-algebra-tactics_1.2.3-3build3_source.buildinfo
Files:
 ef05aca0ba31f34fd01e1221691bae08 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-3build3.dsc
 c76698034ddc0dcd26baeb58794b553b 9004 ocaml optional mathcomp-algebra-tactics_1.2.3-3build3.debian.tar.xz
 5eddaba7ac1a899f1c3b8c6dcc089509 7884 ocaml optional mathcomp-algebra-tactics_1.2.3-3build3_source.buildinfo