[ubuntu/noble-proposed] coq-hott 8.18-3build2 (Accepted)

[Steve Langasek]

coq-hott (8.18-3build2) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:13:47 +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-hott/8.18-3build2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:13:47 +0000
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18-3build2
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-hott (8.18-3build2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 e69d4a8a7e543dcb0c9f594192a6b8e7bc422721 2144 coq-hott_8.18-3build2.dsc
 54c8bef360502a55b36dcf0b2771c65f53453b1f 3056 coq-hott_8.18-3build2.debian.tar.xz
 afa247402e5849d5c6d8363d579c8fd07b54fd72 6702 coq-hott_8.18-3build2_source.buildinfo
Checksums-Sha256:
 293cb3391ae20ae2e77951bc28c2ec88b060a8ed0f2b2a94a1a6bd9dbebbdb9c 2144 coq-hott_8.18-3build2.dsc
 4cd336d288ef392e64eefaaf690e7289cb2db0f5a90dfd9836bfbad93cd3e43b 3056 coq-hott_8.18-3build2.debian.tar.xz
 7a00f4250d1b245012eb609f970f4e5c62f3f183c7aa8c501539d9f2c8285354 6702 coq-hott_8.18-3build2_source.buildinfo
Files:
 893706a428988091141c49b5739b8e21 2144 ocaml optional coq-hott_8.18-3build2.dsc
 9b3670f122acdfba7a94b28df9de6574 3056 ocaml optional coq-hott_8.18-3build2.debian.tar.xz
 3aecf58492799fbde52bca51d8b816e5 6702 ocaml optional coq-hott_8.18-3build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>