[ubuntu/plucky-proposed] why3 1.8.0-1build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.8.0-1build1) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:37:44 +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.8.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:37:44 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.8.0-1build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8a3a2d194d3e0adfb15da30aaf026d302b340893 2375 why3_1.8.0-1build1.dsc
 e6bd4ada0308250304152f8df8f48c4208e2aff1 18860 why3_1.8.0-1build1.debian.tar.xz
 61805f7373852a7416738f2b42e7e8a81ef9a75a 7736 why3_1.8.0-1build1_source.buildinfo
Checksums-Sha256:
 91009ffffbf14e3e40dcc9e6df8570fb86d1589f722e785154e731d9373c25b9 2375 why3_1.8.0-1build1.dsc
 b368c0a8bac8dc288920407a09fda84410d75aed9623f0ebea81f50bc45109e4 18860 why3_1.8.0-1build1.debian.tar.xz
 914962ddae1e88e7497a167f5fecb69ec08ae0e906b6c11fe2dbf70512878d78 7736 why3_1.8.0-1build1_source.buildinfo
Files:
 cec5b5203d0e647e6aca998a8784302f 2375 math optional why3_1.8.0-1build1.dsc
 f9eeedda2f2fde3e9921047484eb6a53 18860 math optional why3_1.8.0-1build1.debian.tar.xz
 59a9336e8ce0ce76e52434781f070049 7736 math optional why3_1.8.0-1build1_source.buildinfo