[ubuntu/resolute-proposed] why3 1.8.2-1build2 (Accepted)

[Gianfranco Costamagna]

why3 (1.8.2-1build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 19:00:02 +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.8.2-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 19:00:02 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.2-1build2
Distribution: resolute
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.2-1build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6449520b4853b6bf918ff332e279a5ff0a675c92 2695 why3_1.8.2-1build2.dsc
 90d598ca6e16416af2b7334b72d907c676a883d3 19556 why3_1.8.2-1build2.debian.tar.xz
 733e318b8c35b8485add0a5ebf81d6a9e05bef7c 7137 why3_1.8.2-1build2_source.buildinfo
Checksums-Sha256:
 bf97e704f75515752a498b273985c37fc5db48acdc8e144a53be9f52eccfef96 2695 why3_1.8.2-1build2.dsc
 c11b26d14401caeefbbf5f5cc6a99bc1c8131e214ed32cb39eade3ba75b6f328 19556 why3_1.8.2-1build2.debian.tar.xz
 49a995defd3d8e8c9de42067f06445df8432cca1684cde8fef0929081d114cce 7137 why3_1.8.2-1build2_source.buildinfo
Files:
 5a12d516599661197e84b4eac56c97e1 2695 math optional why3_1.8.2-1build2.dsc
 998642bf43912b8f12f7b8ac31f0eca3 19556 math optional why3_1.8.2-1build2.debian.tar.xz
 8a3f7784ed8330965f6b60fa641d5f4b 7137 math optional why3_1.8.2-1build2_source.buildinfo