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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 28 Aug 2023 15:29:22 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 28 Aug 2023 15:29:22 +0200
Source: why3
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.1-1build6
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-1build6) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b6e802ee53f60b60c6de96a9960ee70129dd21fe 2686 why3_1.5.1-1build6.dsc
 04f01306a97010403cd4f6b66c774ab7fbc0fcc5 18588 why3_1.5.1-1build6.debian.tar.xz
 5e3e605ec0d564262c8fae073bbfef5684804d52 8101 why3_1.5.1-1build6_source.buildinfo
Checksums-Sha256:
 88a2183d324bf24f04b7ab12785fd0f9ea8e8a5342f90c9939b07b15af830f78 2686 why3_1.5.1-1build6.dsc
 ca07d95a61fb09d84eec6e584778cd32973498f6f486492b4325ff0a587a866c 18588 why3_1.5.1-1build6.debian.tar.xz
 55be4af3a07e750179a6644f228754d38443e0e5b9e2feba8524f809d06ea97e 8101 why3_1.5.1-1build6_source.buildinfo
Files:
 6a4709021dd4923b120d65f1cf69c44a 2686 math optional why3_1.5.1-1build6.dsc
 8a538bb90036512beea476462adb3915 18588 math optional why3_1.5.1-1build6.debian.tar.xz
 3d23a2c570499caa4d831af3f9ad16fd 8101 math optional why3_1.5.1-1build6_source.buildinfo