[ubuntu/mantic-proposed] why3 1.5.1-1build4 (Accepted)

[Gianfranco Costamagna]

why3 (1.5.1-1build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 27 Jul 2023 11:43:04 +0200
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.5.1-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 27 Jul 2023 11:43:04 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.1-1build4
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.5.1-1build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 478707494f0931006393317de77b49184c91767e 2686 why3_1.5.1-1build4.dsc
 889abdf3fed63abd08270b67df8e7fb2bb1e2aa1 18564 why3_1.5.1-1build4.debian.tar.xz
 f3e4695c46cc80d08e78f92516b9de47a0b0fbda 8107 why3_1.5.1-1build4_source.buildinfo
Checksums-Sha256:
 400ca9c58c9f8d84e9bd8db2c14c096d798ca9bde96973a881a0cc2691f84223 2686 why3_1.5.1-1build4.dsc
 5284b5e01b10a94f87acc3f632c25f60a8316f3ea253d62158bdd4818d25eb14 18564 why3_1.5.1-1build4.debian.tar.xz
 7bf1d0ea35ef28db6e5dfc3cfabb94de3925fe286b4da1d7806fd60208f9f624 8107 why3_1.5.1-1build4_source.buildinfo
Files:
 b43d611e9daa63d035fa63ec72417623 2686 math optional why3_1.5.1-1build4.dsc
 dd1266b63b25ab3a00c4d5f54d5a16c0 18564 math optional why3_1.5.1-1build4.debian.tar.xz
 dff836161cd9945df2a9fd2f0da76c81 8107 math optional why3_1.5.1-1build4_source.buildinfo