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

[Gianfranco Costamagna]

why3 (1.8.2-2~build1) resolute; urgency=medium

  * Upload to resolute

Date: Sun, 04 Jan 2026 10:04:00 +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-2~build1
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 10:04:00 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.2-2~build1
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-2~build1) resolute; urgency=medium
 .
   * Upload to resolute
Checksums-Sha1:
 5f9f0edcda245085e5590a8b4c91ec26c41c1e2e 2709 why3_1.8.2-2~build1.dsc
 e7262b89ee6bcbf49298b85ff18d2c0a627c8086 19576 why3_1.8.2-2~build1.debian.tar.xz
 f9cd1d71ca4ec38a41df8a7688251858603506b9 9537 why3_1.8.2-2~build1_source.buildinfo
Checksums-Sha256:
 d07016e6bf4b5cbc0501dccf010d0c2a08260135374cc4b5609b4e4b0f7455da 2709 why3_1.8.2-2~build1.dsc
 81ada1bd6a39f2ff027eda9e04b47950fbff282aad39923a8fed8da2118a5d4b 19576 why3_1.8.2-2~build1.debian.tar.xz
 1d4854f0d43c2904725bfa1aeadd675a2ef7696df9890b1541e62816f5f5fd45 9537 why3_1.8.2-2~build1_source.buildinfo
Files:
 dbcc3aafd03c74c58776574da8ad53cc 2709 math optional why3_1.8.2-2~build1.dsc
 d2c5bf6318bdf644db9bad86ec99ec88 19576 math optional why3_1.8.2-2~build1.debian.tar.xz
 f3e396a90d1df29ad889355d494a1471 9537 math optional why3_1.8.2-2~build1_source.buildinfo