[ubuntu/oracular-proposed] why3 1.6.0-1build8 (Accepted)

[Gianfranco Costamagna]

why3 (1.6.0-1build8) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 13 Jul 2024 08:47:42 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/1.6.0-1build8
-------------- next part --------------
Format: 1.8
Date: Sat, 13 Jul 2024 08:47:42 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build8
Distribution: oracular
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.6.0-1build8) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 74312bea27c7331050c7fb74f92f9f1ccca9a726 2749 why3_1.6.0-1build8.dsc
 e80d8990cde6f5575a207b17b8a98fde7d5c3b13 18608 why3_1.6.0-1build8.debian.tar.xz
 c35470e1b772a5c35b9dbb83c311f50186c2f38f 8121 why3_1.6.0-1build8_source.buildinfo
Checksums-Sha256:
 e300986ba655b5f45f575792620bf97a44be0ced592512d03a01fc7ea580c781 2749 why3_1.6.0-1build8.dsc
 040771737b726e2d38b4073771e579d4a91bec054beeecbce8d978dbb81b7b20 18608 why3_1.6.0-1build8.debian.tar.xz
 2e4dbf2d4140097eb9843c191b464783af8547cf77c1c9130b33343b18d662ad 8121 why3_1.6.0-1build8_source.buildinfo
Files:
 a779c8c3b4fa677d4756b6a1d3ea3230 2749 math optional why3_1.6.0-1build8.dsc
 b08856180df22d446bee8d733ff2baad 18608 math optional why3_1.6.0-1build8.debian.tar.xz
 43a4bf72e19c4867dcf7d53dc48f85cf 8121 math optional why3_1.6.0-1build8_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>