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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Nov 2023 12:57:47 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Nov 2023 12:57:47 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0+dfsg-1build4
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-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1d89c3416c747147c1c10b01c863eae8d0b7a8b5 2628 coq_8.17.0+dfsg-1build4.dsc
 a954c2f7879d75925a317061d8e11a848cf95084 33200 coq_8.17.0+dfsg-1build4.debian.tar.xz
 1510e8c48f230a0cc2dd5de1d21555328da69566 8824 coq_8.17.0+dfsg-1build4_source.buildinfo
Checksums-Sha256:
 b2671ee1375216ba54378f4e20423199a08962aff90df2db24d6cc52be284af9 2628 coq_8.17.0+dfsg-1build4.dsc
 ea0a9ebb2b0ec41f17e1ea4c4da96c616b7d9b9d01ccf88c4d3eaf6fbd984306 33200 coq_8.17.0+dfsg-1build4.debian.tar.xz
 94db766ade7714e3a369d2589c1493a4c9b33f1087631171f25dfa76e8f52dcf 8824 coq_8.17.0+dfsg-1build4_source.buildinfo
Files:
 61a6c8486b0b05ce279225a78ddfb9e6 2628 math optional coq_8.17.0+dfsg-1build4.dsc
 f04161cba84df314b5a143556a70ba23 33200 math optional coq_8.17.0+dfsg-1build4.debian.tar.xz
 a50eaae2522e09d252f015d5b4e005b5 8824 math optional coq_8.17.0+dfsg-1build4_source.buildinfo