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

[Steve Langasek]

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

  * No-change rebuild for CVE-2024-3094

Date: Sun, 31 Mar 2024 17:54:14 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:54:14 +0000
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18-3build3
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-3build3) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 124b385c7a16b674f656f5a43213a82053726cfc 2144 coq-hott_8.18-3build3.dsc
 6ff046d070a44b9546859240796e5ba6ed2b37d4 3080 coq-hott_8.18-3build3.debian.tar.xz
 dfce231b013d7700e75decd8de65230f2c4a8be1 6568 coq-hott_8.18-3build3_source.buildinfo
Checksums-Sha256:
 37fd7d5a669fc65ac0424122aed8c057e821af6ed9b10e081924119cfa919898 2144 coq-hott_8.18-3build3.dsc
 0d73b375aea71c04a875e16e8635f7fe155de591396a5dedb42c8529d8a1e665 3080 coq-hott_8.18-3build3.debian.tar.xz
 b8b989ec3173cf47632ed9b73b3b7939d28738f29a74228320304ad29f381cdf 6568 coq-hott_8.18-3build3_source.buildinfo
Files:
 96092fe6eb26204b1376a88e64958277 2144 ocaml optional coq-hott_8.18-3build3.dsc
 a9665ab1779a955f4aff513de91f8201 3080 ocaml optional coq-hott_8.18-3build3.debian.tar.xz
 28f7a10e976fa87651bc8b9148ba617c 6568 ocaml optional coq-hott_8.18-3build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>