[ubuntu/noble-proposed] coq 8.18.0+dfsg-1build1 (Accepted)

[Steve Langasek]

coq (8.18.0+dfsg-1build1) noble; urgency=medium

  * No-change rebuild against libglib2.0-0t64

Date: Fri, 08 Mar 2024 04:08:10 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq/8.18.0+dfsg-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 08 Mar 2024 04:08:10 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18.0+dfsg-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq (8.18.0+dfsg-1build1) noble; urgency=medium
 .
   * No-change rebuild against libglib2.0-0t64
Checksums-Sha1:
 d9c116284fc5bce877febf484d2ea83d57071e2e 2685 coq_8.18.0+dfsg-1build1.dsc
 d0d07c9f789347d9cb1dba1ae6769cf1c7e58131 33300 coq_8.18.0+dfsg-1build1.debian.tar.xz
 54a32f21b2247d7baf5480cb4cafbbd36b9f5d5e 7148 coq_8.18.0+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 d9000a4b0ea8d2610f7d4f61869c9388c697c8a666f1459a8bd8799265ecc3ef 2685 coq_8.18.0+dfsg-1build1.dsc
 2c69c6a29747c5a7788abfcf2473506919c3b4005bc8be6bedb6d6573d747b2c 33300 coq_8.18.0+dfsg-1build1.debian.tar.xz
 85783085bc670a1e3fd80eace9febb4fae7f81ea208c4ed5490520e7d550c4da 7148 coq_8.18.0+dfsg-1build1_source.buildinfo
Files:
 aa0a4af89f5508208a672ce38483f585 2685 math optional coq_8.18.0+dfsg-1build1.dsc
 7b3624efe66a9a9e4ef6605d30ff2d3a 33300 math optional coq_8.18.0+dfsg-1build1.debian.tar.xz
 e9354efda02750c77f7b751bd4ca020d 7148 math optional coq_8.18.0+dfsg-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>