[ubuntu/noble-proposed] coq-equations 1.3-8.17-2build5 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.17-2build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 07:49:44 +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/coq-equations/1.3-8.17-2build5
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 07:49:44 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.17-2build5
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-equations (1.3-8.17-2build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 031e15b7db9db3a3d484adaaf9ce6a081a5f4733 2165 coq-equations_1.3-8.17-2build5.dsc
 1acc00b0c9154e5e3255b719185c23204d9bbf89 2748 coq-equations_1.3-8.17-2build5.debian.tar.xz
 e7e8672131c3fbd8de9f441bac891727ea3ffe3e 7832 coq-equations_1.3-8.17-2build5_source.buildinfo
Checksums-Sha256:
 5e37b591df1147d55ca3dc67308d58e8d0348e97d9e6eb2cfca40c0dac6619bb 2165 coq-equations_1.3-8.17-2build5.dsc
 fddccf384abcef01b0148b9aa5a23999951d653a0837e584176c662241cfc0c0 2748 coq-equations_1.3-8.17-2build5.debian.tar.xz
 d62e2937b092129c62cebe3aae39b9c883179e64fff81b47f2e1e3d8127cd3b8 7832 coq-equations_1.3-8.17-2build5_source.buildinfo
Files:
 72d5ef38ab3a74b7ddfe3c30c108e282 2165 ocaml optional coq-equations_1.3-8.17-2build5.dsc
 c0d6969e7694cc40fdd2ad029eee35a1 2748 ocaml optional coq-equations_1.3-8.17-2build5.debian.tar.xz
 919e632fde48425893d1a531b76d6ef9 7832 ocaml optional coq-equations_1.3-8.17-2build5_source.buildinfo