[ubuntu/noble-proposed] why3 1.6.0-1build7 (Accepted)

[William Grant]

why3 (1.6.0-1build7) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

Date: Mon, 01 Apr 2024 15:40:35 +1100
Changed-By: William Grant <wgrant at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/1.6.0-1build7
-------------- next part --------------
Format: 1.8
Date: Mon, 01 Apr 2024 15:40:35 +1100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build7
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: William Grant <wgrant at ubuntu.com>
Changes:
 why3 (1.6.0-1build7) noble; urgency=medium
 .
   * No-change rebuild for CVE-2024-3094
Checksums-Sha1:
 5d543a93f69b4a81f8725a0284219baccfd470dc 2749 why3_1.6.0-1build7.dsc
 d15a9c2369d3ddd1f8981d4b019c0132aaec81ce 18592 why3_1.6.0-1build7.debian.tar.xz
 c7aedd559d26de3d1bf4e0450523ea7882c8eee2 6771 why3_1.6.0-1build7_source.buildinfo
Checksums-Sha256:
 da2deb2ffa556bcecbeaddeff6f0c323259afcb731103530134c78fcd938cd9b 2749 why3_1.6.0-1build7.dsc
 b3bb67a0f4be3cb1857e33c6c01c387515451faadc47fc15ad1ce62bb60e5ff1 18592 why3_1.6.0-1build7.debian.tar.xz
 b7032a727ef70456256d1cf9af1a800a3196bc0f2b89ccc8d651ac2981516a3e 6771 why3_1.6.0-1build7_source.buildinfo
Files:
 3b1380204dbdc99d87fa5aed53147692 2749 math optional why3_1.6.0-1build7.dsc
 61ba82982e107f61d540988c9301b362 18592 math optional why3_1.6.0-1build7.debian.tar.xz
 074e52440fce888b420177f7d9e77330 6771 math optional why3_1.6.0-1build7_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>