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

[Gianfranco Costamagna]

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

  * debian/patches/fbe9e28b667e795a5ceb41bd7784bd2ea7ab10bf.patch:
    - upstream hacky workaround for build failure due to some
      race condition (Closes: #1056062)

Date: Wed, 22 Nov 2023 18:23:05 +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-1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Nov 2023 18:23:05 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0+dfsg-1ubuntu1
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Closes: 1056062
Changes:
 coq (8.17.0+dfsg-1ubuntu1) noble; urgency=medium
 .
   * debian/patches/fbe9e28b667e795a5ceb41bd7784bd2ea7ab10bf.patch:
     - upstream hacky workaround for build failure due to some
       race condition (Closes: #1056062)
Checksums-Sha1:
 c3323e2772857209d54be82b0a6e7ef80faed650 2632 coq_8.17.0+dfsg-1ubuntu1.dsc
 31eed6f819d73256c016d5ce178477360888c8be 34208 coq_8.17.0+dfsg-1ubuntu1.debian.tar.xz
 01b99d70e8ad113797c7e8a29372b0546e8563e1 8828 coq_8.17.0+dfsg-1ubuntu1_source.buildinfo
Checksums-Sha256:
 c0eb8f60a5dae8c0a55b28fcea2eee5700cf6a31b55127594e1e7ad289a7cbad 2632 coq_8.17.0+dfsg-1ubuntu1.dsc
 cb3367d9bacdb4ab13eba8ca5b9a0d5c2f0505d16497c177f1033b0e93d8d900 34208 coq_8.17.0+dfsg-1ubuntu1.debian.tar.xz
 22f4765e0c6922dbae678050b439af70da9735d1e22e50a64759131a854dbd9d 8828 coq_8.17.0+dfsg-1ubuntu1_source.buildinfo
Files:
 b3dc37238ce329ac4d23c07bd06f5854 2632 math optional coq_8.17.0+dfsg-1ubuntu1.dsc
 6f1ab30978df4088afcc40e09196fa1e 34208 math optional coq_8.17.0+dfsg-1ubuntu1.debian.tar.xz
 6cae8dff8c8de88e11c65a2d6ab04e54 8828 math optional coq_8.17.0+dfsg-1ubuntu1_source.buildinfo