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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:18:40 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.2.3-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:18:40 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-1build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 mathcomp-algebra-tactics (1.2.3-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0b4a67bc82cce03f0c18c828d94379b5ac2c1477 2360 mathcomp-algebra-tactics_1.2.3-1build5.dsc
 4d501a499512875e156c58dace3e1460fdc80e66 9104 mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz
 b2a5a1038a8e17401b77b807ff88bde80dbe29be 7884 mathcomp-algebra-tactics_1.2.3-1build5_source.buildinfo
Checksums-Sha256:
 de3e158df40da7622e31cc694094ab473ae9c2df01b780d4d525837d8fe7aea4 2360 mathcomp-algebra-tactics_1.2.3-1build5.dsc
 fd9952e1b4c180610fee64bd4603ab1e974b2f6e57ca6b2803053c39de28b210 9104 mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz
 6cb1bbcab88527311d8d6bfe74c5d6dd88afc6dd77f0f735abf7bd2ae96dd5e7 7884 mathcomp-algebra-tactics_1.2.3-1build5_source.buildinfo
Files:
 c85039e0d709acd78c7324f9d4d823c9 2360 ocaml optional mathcomp-algebra-tactics_1.2.3-1build5.dsc
 f36d9c778410e280c27c9426b0dce142 9104 ocaml optional mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz
 9ae7e5867c8be8f7e6d2f2fb24e2c52b 7884 ocaml optional mathcomp-algebra-tactics_1.2.3-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>