[ubuntu/kinetic-proposed] why3 1.5.0-1build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.5.0-1build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 14 May 2022 07:24:40 +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.5.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 14 May 2022 07:24:40 +0200
Source: why3
Architecture: source
Version: 1.5.0-1build1
Distribution: kinetic
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.0-1build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ef8b62b71fdc2f9556f0d4e1b4d59ed5aa9b4347 2686 why3_1.5.0-1build1.dsc
 3f9edcb8199e1d47e0f290638564bfa73eb43b67 18388 why3_1.5.0-1build1.debian.tar.xz
 5dc45fa0b031f5c9fd5f135f70ffdd085c082c4d 7620 why3_1.5.0-1build1_source.buildinfo
Checksums-Sha256:
 2a4a5bdd2f9ec8f37fdfd4b9a3c70a1072bb3978580da1a57ec3f5de29f58ffa 2686 why3_1.5.0-1build1.dsc
 412d42e21fab3f96abb6e6f030dea49bf800f7093e76b670ff60bdea6952c3b3 18388 why3_1.5.0-1build1.debian.tar.xz
 0558387761311e48655e3860abb74eb9b478e1f75361b36e38b981404f6f3da6 7620 why3_1.5.0-1build1_source.buildinfo
Files:
 053c32ef4c014865bd56904f34e59488 2686 math optional why3_1.5.0-1build1.dsc
 474024058cd956097697f9f766b1e387 18388 math optional why3_1.5.0-1build1.debian.tar.xz
 107aa220f5e0d8c3d1e89d1299c97682 7620 math optional why3_1.5.0-1build1_source.buildinfo