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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 15 Nov 2023 09:22:35 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Wed, 15 Nov 2023 09:22:35 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0+dfsg-1build3
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7a89b429a53c4a8dff64cfa8e6635d7736b7d28d 2628 coq_8.17.0+dfsg-1build3.dsc
 25ed1ac4026bc5f13dad7ee384b76bb177b0c3c2 33172 coq_8.17.0+dfsg-1build3.debian.tar.xz
 7d706640cb6148ea7742244dbf730ac96ad6468a 8824 coq_8.17.0+dfsg-1build3_source.buildinfo
Checksums-Sha256:
 450e42dc71047d645819c4ee65d6255a2df6f26bce1757f088204986555fce90 2628 coq_8.17.0+dfsg-1build3.dsc
 2c40e9c27edf3c52bb20d0af9573acd654f8bc3cd93afc2abc57db260c56c340 33172 coq_8.17.0+dfsg-1build3.debian.tar.xz
 d7ce28fec199eaf9be52a39994eade17bb95025cd459639a125c5d7c5af59069 8824 coq_8.17.0+dfsg-1build3_source.buildinfo
Files:
 e62743929a254872b1e607bd46e3c0ec 2628 math optional coq_8.17.0+dfsg-1build3.dsc
 09e6912531cbe5ced70ca18f67b96499 33172 math optional coq_8.17.0+dfsg-1build3.debian.tar.xz
 638c1d5f26233a9f04c8e6c79d036f39 8824 math optional coq_8.17.0+dfsg-1build3_source.buildinfo