[ubuntu/questing-proposed] why3 1.8.0-2build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.8.0-2build1) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:33:23 +0200
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.8.0-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:33:23 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-2build1
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.8.0-2build1) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 593a1188b0bb10f00369fef9083cf2d8d5d16ffe 2375 why3_1.8.0-2build1.dsc
 49b0428acf19547eb1c5184294b4a24d9ac4df9a 18936 why3_1.8.0-2build1.debian.tar.xz
 d2e1683c25058b2bb7c88bff03801adef2b902ce 7302 why3_1.8.0-2build1_source.buildinfo
Checksums-Sha256:
 90e70fc517ef568b3399813760078da85b7c80d3e36b98a9aa9c7f102801368b 2375 why3_1.8.0-2build1.dsc
 cfcd59b1721c4a758ad76548064e2b47e90395178255ca289fae514343cbdce9 18936 why3_1.8.0-2build1.debian.tar.xz
 3e50c31139be268d944d7e8b32a88ad0ecf141f3e07f2c79a3a6b2cc47d06af4 7302 why3_1.8.0-2build1_source.buildinfo
Files:
 827c5fa641f695b737bdc0d4ecfd0249 2375 math optional why3_1.8.0-2build1.dsc
 bb506c2eb90b8871c100625999be7584 18936 math optional why3_1.8.0-2build1.debian.tar.xz
 464db029ca9a26728dbc544e3627d0d1 7302 math optional why3_1.8.0-2build1_source.buildinfo