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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:44:47 +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.2-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:44:47 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.2-1build1
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-1build1) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 86988f38b521dff7dccdedeecfda8bcc669e01bf 2695 why3_1.8.2-1build1.dsc
 35d05ac91ebee698b405d649341529d68a827497 19532 why3_1.8.2-1build1.debian.tar.xz
 34fb2c7ebdc73c8227fbad4cd01292ce56a7f51c 7308 why3_1.8.2-1build1_source.buildinfo
Checksums-Sha256:
 84cb75e1b87b37e211e58d7cf4d8b352995d8fc71aa1214e0d94779560222dd1 2695 why3_1.8.2-1build1.dsc
 20961be6cd21bec71853d55188fc9176e81c7dbefec6ef949972a3a8c9000e45 19532 why3_1.8.2-1build1.debian.tar.xz
 f48374f6338300cf80fc1e26e2168bf034c31d5d5a2a08b8f7a0f8054c9b06fb 7308 why3_1.8.2-1build1_source.buildinfo
Files:
 eff671a90a8f46adcfe1651974b7da13 2695 math optional why3_1.8.2-1build1.dsc
 12d70b63306c059440910d1a016ec1e8 19532 math optional why3_1.8.2-1build1.debian.tar.xz
 b3c7a51711e51748b585169ca9ca0749 7308 math optional why3_1.8.2-1build1_source.buildinfo