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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:43:39 +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-2build4
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:43:39 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.17-2build4
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-2build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f568808226293228fd502816d7eeadbe1df427da 2165 coq-equations_1.3-8.17-2build4.dsc
 8340c2834c45597b4f932dacf6782d6cafee1a27 2740 coq-equations_1.3-8.17-2build4.debian.tar.xz
 2857638b3520221efe33932bd6e8d17594b4b86e 7832 coq-equations_1.3-8.17-2build4_source.buildinfo
Checksums-Sha256:
 e23fdec77a378104d8589ab46423ef6df1ecb7ae67dfc3ddb4eee5dd0cf7650b 2165 coq-equations_1.3-8.17-2build4.dsc
 65ed85d9b7ca20e62ec51503ed10177ae569c6157bf39884a689aac6f5edb0a4 2740 coq-equations_1.3-8.17-2build4.debian.tar.xz
 440b5e9670ebf8bf82026938b7040abeb53da0457eed16fbcbc235f645cfeb92 7832 coq-equations_1.3-8.17-2build4_source.buildinfo
Files:
 0abcdb34581782f359fec6d725ecb3c3 2165 ocaml optional coq-equations_1.3-8.17-2build4.dsc
 5120838ebced8ae52833b81c2e6de6bb 2740 ocaml optional coq-equations_1.3-8.17-2build4.debian.tar.xz
 58043391de60751b079572ed460c6988 7832 ocaml optional coq-equations_1.3-8.17-2build4_source.buildinfo