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

[Steve Langasek]

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

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

Date: Fri, 08 Mar 2024 07:59:18 +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/why3/1.6.0-1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 08 Mar 2024 07:59:18 +0000
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 why3 (1.6.0-1build5) noble; urgency=medium
 .
   * No-change rebuild against libglib2.0-0t64
Checksums-Sha1:
 1b625b02d8f309ea521627e201b3879494e7ae05 2786 why3_1.6.0-1build5.dsc
 1b486638a875625cf30275554ce62f7d8c6df3bc 18536 why3_1.6.0-1build5.debian.tar.xz
 d0485b98314dbd72b284ae4ed6bc04e60601807b 6434 why3_1.6.0-1build5_source.buildinfo
Checksums-Sha256:
 44968e37f2df153d4b47a39a7a8787c4c38359757df182264f9d31e19ad60918 2786 why3_1.6.0-1build5.dsc
 375c92ff739710144f45b4dc68a61fb02b0afbfeff300b0751b2fa7b24ac8f88 18536 why3_1.6.0-1build5.debian.tar.xz
 22d200ec12d2d1256bfded0748c741e49a53cd60d8fe7bf13460ea3e78631310 6434 why3_1.6.0-1build5_source.buildinfo
Files:
 a509b3d90749fe7616e6cf724decb927 2786 math optional why3_1.6.0-1build5.dsc
 b0112897ff4b23b7ba92f6f6d4cf92c5 18536 math optional why3_1.6.0-1build5.debian.tar.xz
 ee1b64823180ed5b050da0738bf5969c 6434 math optional why3_1.6.0-1build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>