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

[Steve Langasek]

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

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

Date: Mon, 11 Mar 2024 23:53:10 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 11 Mar 2024 23:53:10 +0000
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build6
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-1build6) noble; urgency=medium
 .
   * No-change rebuild against libglib2.0-0t64
Checksums-Sha1:
 0d65d5339c13ebbd146ea559f1a362c03263e7e1 2786 why3_1.6.0-1build6.dsc
 968abcbb0ac8479d1061546082fcaa842e2ae7d2 18556 why3_1.6.0-1build6.debian.tar.xz
 90266773516dee1879c14a0876946665462ba007 6389 why3_1.6.0-1build6_source.buildinfo
Checksums-Sha256:
 31b3f49878a42ca48bbc19fee3afe76ec2f4b12bd463255f68d0c0643807859f 2786 why3_1.6.0-1build6.dsc
 1b2c446bc0da2465b948a19d690ebf6e87229b13689bd746bfee2960ae52ac22 18556 why3_1.6.0-1build6.debian.tar.xz
 5cfceb5b51e62b34d699562476bed6a4b74eee14375fbb38b82046e895efe8fc 6389 why3_1.6.0-1build6_source.buildinfo
Files:
 28cc0249fc39c766b08f92e00054e27a 2786 math optional why3_1.6.0-1build6.dsc
 c77203a2b290daf27177f283860de99d 18556 math optional why3_1.6.0-1build6.debian.tar.xz
 f780a402f61549a85d2f8409b5ff5c80 6389 math optional why3_1.6.0-1build6_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>