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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:14:38 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:14:38 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.17-2build3
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-2build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c2d027197343b8ae7cbcff86d210d5610e94b361 2165 coq-equations_1.3-8.17-2build3.dsc
 a311aa0ad5b2436bc123eab50fd9bc279e46dc8c 2720 coq-equations_1.3-8.17-2build3.debian.tar.xz
 79472650c6a2b1aa9248eef07875c9f58098fa8a 7832 coq-equations_1.3-8.17-2build3_source.buildinfo
Checksums-Sha256:
 68e22220917d3bb1e9f907a7e4e83f6731d2a2cc51dca0d5ef46bb685da946cf 2165 coq-equations_1.3-8.17-2build3.dsc
 f110cd82feeae89b07a16694cebb4849a68d30b48083fe474c01c188b55cbc1d 2720 coq-equations_1.3-8.17-2build3.debian.tar.xz
 dd0091e3d541e4d720cc17dc2f57ec3fcd04099c693d8e62d43a80ff8563dca2 7832 coq-equations_1.3-8.17-2build3_source.buildinfo
Files:
 94ebf01dc4101bd1662de4ca8ff2765b 2165 ocaml optional coq-equations_1.3-8.17-2build3.dsc
 7bee6505ada030f41cee1e1416e7403f 2720 ocaml optional coq-equations_1.3-8.17-2build3.debian.tar.xz
 96d5b50a8b30cd2eca08722aa871a610 7832 ocaml optional coq-equations_1.3-8.17-2build3_source.buildinfo