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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:12:50 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:12:50 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build1
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-1build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ce7af72d2eeb37d2c31f507d9d8ffd519861508b 2670 why3_1.6.0-1build1.dsc
 4ded44c5f41ceba3610e72ad40766b8f55b1f27d 18408 why3_1.6.0-1build1.debian.tar.xz
 a14af24e43076682a9f13b304dd3273e66cbffcc 8101 why3_1.6.0-1build1_source.buildinfo
Checksums-Sha256:
 dbee9c3717437058be7c99fa4c436a8aa200be1bf02dfa99225c3e8a5dd495b6 2670 why3_1.6.0-1build1.dsc
 3df7e2f874ddfdee3372599bdb5a08b05d81f33935694b8fbbdb88057a781f1a 18408 why3_1.6.0-1build1.debian.tar.xz
 b4fdbc764fc8059bd3b2ab1996239ab9cf7cd6e41823fb202c9f70c892876031 8101 why3_1.6.0-1build1_source.buildinfo
Files:
 402b62b7bedd55048e95334630edc694 2670 math optional why3_1.6.0-1build1.dsc
 ed36b482eb4600633e4bbcc2f2da10cc 18408 math optional why3_1.6.0-1build1.debian.tar.xz
 65741548e9d1c8f48ee47019edefdec5 8101 math optional why3_1.6.0-1build1_source.buildinfo