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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:50:51 +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-1build9
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:50:51 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build9
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-1build9) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 62c69f73c58c06c9f8d6a63bdeb49398c6474e15 2749 why3_1.6.0-1build9.dsc
 3a4fbfb87ae7a2c059f4dc27a62069ace085c57a 18620 why3_1.6.0-1build9.debian.tar.xz
 6cb4f7d316abdd38cf78371ec928729514ae49cf 8145 why3_1.6.0-1build9_source.buildinfo
Checksums-Sha256:
 b6c58b5a02de448d8ed1afb1395b08d6090abdeb9cf78835cc7a9cb5880887ec 2749 why3_1.6.0-1build9.dsc
 e54d453543a62cd266604f4c785f3fecb89c9d8d4b0df456b221b61f856d5084 18620 why3_1.6.0-1build9.debian.tar.xz
 329c9bedb690cc6843a4cc4f8a8c67b9086c5774625b9849b0c82aff97c80d10 8145 why3_1.6.0-1build9_source.buildinfo
Files:
 570d322003c1953d043efe8e4be1975c 2749 math optional why3_1.6.0-1build9.dsc
 f121306f82d9ed39312ac4dcb7c7f012 18620 math optional why3_1.6.0-1build9.debian.tar.xz
 9daf0eafdbc761dcfdf46790d13e9253 8145 math optional why3_1.6.0-1build9_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>