[ubuntu/cosmic-proposed] why 2.39-2build2 (Accepted)

[Matthias Klose]

why (2.39-2build2) cosmic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 04 May 2018 11:27:17 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why/2.39-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 04 May 2018 11:27:17 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.39-2build2
Distribution: cosmic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.39-2build2) cosmic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 56a0a5d46eda2bcadb558598fc57f07615c52cfb 2471 why_2.39-2build2.dsc
 2b9382fc3ab0782bfc01d3b47f5c45fd77ee683c 11892 why_2.39-2build2.debian.tar.xz
 39e91281ba5e81a86fb1ca7f3c0ce01cf9e9d2d2 5895 why_2.39-2build2_source.buildinfo
Checksums-Sha256:
 9734bbe095bfd40be3a7369c12d903e01d70684103c4e7dd25d5d00fe0de0819 2471 why_2.39-2build2.dsc
 62ee70f7f8ff5f2d8d60d01b2e1f5d83672acc8b9cfc8cf256de6ca5358e1c58 11892 why_2.39-2build2.debian.tar.xz
 4660ebdac4f9534aaa3b7708c1c385ef69a71a8fd3ea8977e663f92391639e02 5895 why_2.39-2build2_source.buildinfo
Files:
 a672f3fc32b62ed46587dd3bb5cbce94 2471 math optional why_2.39-2build2.dsc
 00672f622d4793c5f4bd5ee8c5c81dbc 11892 math optional why_2.39-2build2.debian.tar.xz
 19f32d1a8276d6dd7a19fabadf754c59 5895 math optional why_2.39-2build2_source.buildinfo