[ubuntu/plucky-proposed] why3 1.7.2-2build2 (Accepted)

[Gianfranco Costamagna]

why3 (1.7.2-2build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 02 Jan 2025 18:05:35 +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.7.2-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 02 Jan 2025 18:05:35 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.2-2build2
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.7.2-2build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a88b0b843c640d6d374613fe8703fc6a85e83deb 2687 why3_1.7.2-2build2.dsc
 75b0c6e4f03cf06a039c379ad69277e38e952e98 18688 why3_1.7.2-2build2.debian.tar.xz
 793039aff97b6539c9438edd297035b440541eb9 7927 why3_1.7.2-2build2_source.buildinfo
Checksums-Sha256:
 de9eb72ea0a5e9d0b441a40a6e5e54e8aec669a237d2f6e576d657ac2046e51a 2687 why3_1.7.2-2build2.dsc
 7f60d9000d4d34f04cb09622a3b5cbdd3a9d8c5fc241feee23c49ff3fedfaf18 18688 why3_1.7.2-2build2.debian.tar.xz
 fbd6ff70fa07a0d3a4f6d15c9a950937898ace87850a1d71972b018bde612eaa 7927 why3_1.7.2-2build2_source.buildinfo
Files:
 761fb901ad5603e9831a74e3ecfe8659 2687 math optional why3_1.7.2-2build2.dsc
 3360d90c5413dfd5cac8a242d9babb1d 18688 math optional why3_1.7.2-2build2.debian.tar.xz
 57c24d05d275e1b955e1279f3f5be5b2 7927 math optional why3_1.7.2-2build2_source.buildinfo