[ubuntu/noble-proposed] coq 8.17.0+dfsg-1build2 (Accepted)

[Gianfranco Costamagna]

coq (8.17.0+dfsg-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sun, 05 Nov 2023 08:05:46 +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/8.17.0+dfsg-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 05 Nov 2023 08:05:46 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0+dfsg-1build2
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 (8.17.0+dfsg-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b9eb4f5664538f05161f6a265390d9ae695853c3 2628 coq_8.17.0+dfsg-1build2.dsc
 22813798be99611583d5cad5444abf64d98b632d 33172 coq_8.17.0+dfsg-1build2.debian.tar.xz
 d6424ea90456b6579248a64a4d47e17e84399de0 8824 coq_8.17.0+dfsg-1build2_source.buildinfo
Checksums-Sha256:
 669dac7843e8d8881f70d49f04cdea0820f6a9228ab4bd05f09ecc5172757668 2628 coq_8.17.0+dfsg-1build2.dsc
 f02ab70427f461658062279b1c4803ae29478c5cb07cd1e9e80e2819e521062d 33172 coq_8.17.0+dfsg-1build2.debian.tar.xz
 9865e194da7702395738d32a3cb92b483546bff7f58abbdfe69371bd5f82ea46 8824 coq_8.17.0+dfsg-1build2_source.buildinfo
Files:
 f8be6706a96826ba133786743bb78b98 2628 math optional coq_8.17.0+dfsg-1build2.dsc
 c674221b8fc3ddd42884c0e87698bb08 33172 math optional coq_8.17.0+dfsg-1build2.debian.tar.xz
 c863e14ac21720d91df6196799202284 8824 math optional coq_8.17.0+dfsg-1build2_source.buildinfo