[ubuntu/lunar-proposed] why3 1.5.1-1build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.5.1-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 26 Nov 2022 22:40: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.5.1-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 26 Nov 2022 22:40:50 +0100
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.1-1build1
Distribution: lunar
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 af3695eca54dc7b676e093a3f9fa9b51aa3b7156 2686 why3_1.5.1-1build1.dsc
 86e6fc791dfed159eec4dfe079bc5e35bcbd082e 18520 why3_1.5.1-1build1.debian.tar.xz
 b0b6a05a3fcfb0c7d889ba1e9f190aba3047c2cc 8170 why3_1.5.1-1build1_source.buildinfo
Checksums-Sha256:
 5da7ad9d90415f97f7040dfdc1c646e69d45304a885689032d20897e6c9c6f18 2686 why3_1.5.1-1build1.dsc
 eb6bf1aff6bc2f49e9391d966172561dfb8265a0ca00aa9171da4cb7fe07847e 18520 why3_1.5.1-1build1.debian.tar.xz
 4e35b473be07e43873393065cc4e5b247d555cc240d19617238abaf3e8ed1939 8170 why3_1.5.1-1build1_source.buildinfo
Files:
 b66744cbcd29d8228e2f8c79446dc803 2686 math optional why3_1.5.1-1build1.dsc
 c1b84d1480a320793712131676e5470c 18520 math optional why3_1.5.1-1build1.debian.tar.xz
 43948b3cbad0d14fa40d2a6a61a59eba 8170 math optional why3_1.5.1-1build1_source.buildinfo