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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 28 Jul 2023 05:33:58 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 28 Jul 2023 05:33:58 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.1-1build5
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-1build5) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8549863b8c96dd781fdf72bf2e33ddbd02a26a7f 2686 why3_1.5.1-1build5.dsc
 36314b30c9f830c8238980956d6b2de286afd520 18592 why3_1.5.1-1build5.debian.tar.xz
 6447bba0cb855e11aba78c0fc203419f2cc9d749 8107 why3_1.5.1-1build5_source.buildinfo
Checksums-Sha256:
 21446e2571d93fd527ff839f2171ef0ac9929cbcbe611bff696158da7aade7a1 2686 why3_1.5.1-1build5.dsc
 9e5b38891e228a6c80bc388782b066b9e89a76fe4f38098a3f16e688ef1a3909 18592 why3_1.5.1-1build5.debian.tar.xz
 9080b6ce6be78e83ccc653223e10aade75a6fa6db4ca216b07276e2b56731991 8107 why3_1.5.1-1build5_source.buildinfo
Files:
 8b17517ef8c7b830a67356e5ace7742d 2686 math optional why3_1.5.1-1build5.dsc
 3a7c659ee9a099e4e038024d87ae8f2d 18592 math optional why3_1.5.1-1build5.debian.tar.xz
 baa02187510ba2b674e8f5a5ab6ffbc1 8107 math optional why3_1.5.1-1build5_source.buildinfo