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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 22 Feb 2024 08:36:24 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.6.0-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 22 Feb 2024 08:36:24 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.6.0-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7f0919406a155176ffcebdc3bbe4e8a49ae8bc24 2670 why3_1.6.0-1build4.dsc
 34e8da764dff8a8ca0bf5fd071de9c2837748538 18452 why3_1.6.0-1build4.debian.tar.xz
 247533377f4833a3214947f79f7700b5236e0b0d 8104 why3_1.6.0-1build4_source.buildinfo
Checksums-Sha256:
 01029fb525429434fa2cfd70223b394a53802bb4c76676e2a0a14244f1cef227 2670 why3_1.6.0-1build4.dsc
 accfcd671d274ea3d49a0079cf8fdba5fc78425f26d9204f8126b6b44176b4c8 18452 why3_1.6.0-1build4.debian.tar.xz
 b60ac2f2da4b52d46d7e0816aa3810fc23e3308af470104423d3b129d8e1302a 8104 why3_1.6.0-1build4_source.buildinfo
Files:
 7e60c635f6fd6e8a675c5254e8f6fa25 2670 math optional why3_1.6.0-1build4.dsc
 2577070e1ab9d9ce84e41b39f6fd2747 18452 math optional why3_1.6.0-1build4.debian.tar.xz
 15ee9c0856d062123bd79e0b0c9aad93 8104 math optional why3_1.6.0-1build4_source.buildinfo