[ubuntu/noble-proposed] why3 1.6.0-1build2 (Accepted)

[Gianfranco Costamagna]

why3 (1.6.0-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:24: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.6.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:24:00 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.6.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 181b550a4cebba10cab41e51410ae9efe2debdc6 2670 why3_1.6.0-1build2.dsc
 94becd10c15cb291ebd90f788159864ac1d30df2 18420 why3_1.6.0-1build2.debian.tar.xz
 8777be86d169c2f9dec0ac17ce26be95188d2075 8104 why3_1.6.0-1build2_source.buildinfo
Checksums-Sha256:
 ba823fb273241a1b795e27c6d32994993d983b512d79ab5f34132485f70217cb 2670 why3_1.6.0-1build2.dsc
 64e0337bf7ec708b4365a03bcbca4b15f1bcb5277781db4031800347c69b2e7c 18420 why3_1.6.0-1build2.debian.tar.xz
 265829fbb29d07ca0524cfd0847d75a7d5d6775ba09e968f198820d113b7824d 8104 why3_1.6.0-1build2_source.buildinfo
Files:
 4951f5b5747b10468127b1ecbf2d091b 2670 math optional why3_1.6.0-1build2.dsc
 4f06a14f39521ca8f1690ee8682b7258 18420 math optional why3_1.6.0-1build2.debian.tar.xz
 82c344dc539c36da59d4351437dc8ea5 8104 math optional why3_1.6.0-1build2_source.buildinfo