[ubuntu/resolute-proposed] dh-coq 0.14build1 (Accepted)

[Graham Inggs]

dh-coq (0.14build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

Date: Fri, 16 Jan 2026 19:58:30 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/dh-coq/0.14build1
-------------- next part --------------
Format: 1.8
Date: Fri, 16 Jan 2026 19:58:30 +0000
Source: dh-coq
Built-For-Profiles: noudeb
Architecture: source
Version: 0.14build1
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Launchpad-Bugs-Fixed: 2132257
Changes:
 dh-coq (0.14build1) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 08e78c1d03cf9fea6ac970a5cdfbe39335e43213 1657 dh-coq_0.14build1.dsc
 c9a83fe871beb6b1ca2d012100e6184dc678773f 10712 dh-coq_0.14build1.tar.xz
 1674d106d9c9cfd94eb7c91b13aec2562021f24f 7227 dh-coq_0.14build1_source.buildinfo
Checksums-Sha256:
 f755db489c17941e9290bc6027bbd84df2e58c3896de5d362e933378f22fbea0 1657 dh-coq_0.14build1.dsc
 d3312c1599db3d3dc989bf30f40181496145694f134d317c2522d3381cb070a6 10712 dh-coq_0.14build1.tar.xz
 7ac96b4331b7662da933016e1b647cd41a291460f01e93c4a12cbc400d8daec9 7227 dh-coq_0.14build1_source.buildinfo
Files:
 21922b332086da1a74973f32b12dc716 1657 ocaml optional dh-coq_0.14build1.dsc
 9e5dd8546bb95095d417d2904283d21f 10712 ocaml optional dh-coq_0.14build1.tar.xz
 28bc6de3c0c16ce477b82de9bef3af6e 7227 ocaml optional dh-coq_0.14build1_source.buildinfo