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

[Sebastien Bacher]

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

  * No change rebuild with fixed amd64v3 builders

Date: Sat, 28 Feb 2026 20:45:55 +0100
Changed-By: Sebastien Bacher <seb128 at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Sebastien Bacher <sebastien.bacher at canonical.com>
https://launchpad.net/ubuntu/+source/why3/1.8.2-3build1
-------------- next part --------------
Format: 1.8
Date: Sat, 28 Feb 2026 20:45:55 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.2-3build1
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Changes:
 why3 (1.8.2-3build1) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 d7432f3d4737a3fff141fdd6e5a0f22ff65df1b7 2701 why3_1.8.2-3build1.dsc
 a1af8f846d1e5f3f3d9833d5501d5e7876aa01e5 19652 why3_1.8.2-3build1.debian.tar.xz
 466769297371829ab563f75c6af992b95e79db60 8436 why3_1.8.2-3build1_source.buildinfo
Checksums-Sha256:
 4f0933d9732bbf8b85fdfb787ead63740f714eb282e16d7abce007e47ef607a7 2701 why3_1.8.2-3build1.dsc
 519abf0e74c2a7078c90c394bdea9f5bafc382ca1c2c9aeb95f34a38aeae9133 19652 why3_1.8.2-3build1.debian.tar.xz
 acbe5006f063bb45ec8e002c79c6e6c2fec78a6df8377d0d0217bf99041d4f61 8436 why3_1.8.2-3build1_source.buildinfo
Files:
 face9c3dc7ee4e5d0e1b48ba31c83c8c 2701 math optional why3_1.8.2-3build1.dsc
 50179bbc125d79efcddfab66fb45d307 19652 math optional why3_1.8.2-3build1.debian.tar.xz
 41c552b89131c0f43b4955c4b051a4b7 8436 math optional why3_1.8.2-3build1_source.buildinfo