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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:24:10 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:24:10 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-3build1
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-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 39779c3ad972484b5aa6143f7fb60f1a1429d3c9 2281 mathcomp-algebra-tactics_1.2.3-3build1.dsc
 f8465ee49bddbe96e4ca13f765be0ebcf467754f 8976 mathcomp-algebra-tactics_1.2.3-3build1.debian.tar.xz
 b63896a3399cb785cb7ef34203aedb4d969435c6 7884 mathcomp-algebra-tactics_1.2.3-3build1_source.buildinfo
Checksums-Sha256:
 0229c04a65f7b3186c62cc66d828a8b9c5e5bbf0e44999a53a983cb219ba2e48 2281 mathcomp-algebra-tactics_1.2.3-3build1.dsc
 e219cabf211e08ffa91102ef0b5495229e18691055d374776d08311ee6de90c5 8976 mathcomp-algebra-tactics_1.2.3-3build1.debian.tar.xz
 5565f75d7d05475d567bf911c1b34aff2514b00968ec058b2cc9a223b328d34c 7884 mathcomp-algebra-tactics_1.2.3-3build1_source.buildinfo
Files:
 574bf9f4c9278d09e6531e6c29455978 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-3build1.dsc
 8a82bca607d45295354655552668e612 8976 ocaml optional mathcomp-algebra-tactics_1.2.3-3build1.debian.tar.xz
 f7ff213aef6d7c68d88c90a8428540b7 7884 ocaml optional mathcomp-algebra-tactics_1.2.3-3build1_source.buildinfo