[ubuntu/lunar-proposed] why3 1.5.1-1build3 (Accepted)

[Gianfranco Costamagna]

why3 (1.5.1-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sun, 19 Feb 2023 09:35:24 +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.5.1-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 19 Feb 2023 09:35:24 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.1-1build3
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.5.1-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 117fe9144c6b3849ea52ce7b7b6bea36c1d782a7 2686 why3_1.5.1-1build3.dsc
 b44a75122887bb9c40f6bbd93cad1cd0d6abd237 18552 why3_1.5.1-1build3.debian.tar.xz
 cb38a69e76e2713e82fbe32d81286c4dd055ca1a 7437 why3_1.5.1-1build3_source.buildinfo
Checksums-Sha256:
 8877f1852d63c62a21e2959c06c41077d60c4053a96ecf6e4e8949702e030f5b 2686 why3_1.5.1-1build3.dsc
 4005af9ae98f8ed2b45ee36c6adfa2fa94e4553922e9295d1b2a164e2fee2252 18552 why3_1.5.1-1build3.debian.tar.xz
 c2cab3f9851574e598b28fd92106cd413bec3cbe95b4061e769079d9d393f829 7437 why3_1.5.1-1build3_source.buildinfo
Files:
 453750ad46bc9193b6c2545578843a79 2686 math optional why3_1.5.1-1build3.dsc
 ca00c13cf5054feb727f34ee49b0e750 18552 math optional why3_1.5.1-1build3.debian.tar.xz
 f8e55ac20267acca0eebd41d73657359 7437 math optional why3_1.5.1-1build3_source.buildinfo