[ubuntu/artful-proposed] why 2.38-1build2 (Accepted)

Mon Jul 3 10:47:34 UTC 2017

why (2.38-1build2) artful; urgency=high

  * No change rebuild against ocaml 4.04.

Date: Mon, 03 Jul 2017 11:45:51 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why/2.38-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 11:45:51 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.38-1build2
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 libwhy-coq - Why library for Coq
 why        - Software verification tool for C and Java
Changes:
 why (2.38-1build2) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 52e932fc0fd4c8f2f5efb96ea19a2573eadf4b90 2142 why_2.38-1build2.dsc
 36787ff03cf3b97e42d4986bf72bcbecd7b90789 11780 why_2.38-1build2.debian.tar.xz
Checksums-Sha256:
 730ad976a973f402a5fd3b6fb93382b7d06b537d87ef2024bb14f711312175e9 2142 why_2.38-1build2.dsc
 85612cd7bfd42c3b53e618cc6d0da1f91395cdc6d806264a24a48df40705989c 11780 why_2.38-1build2.debian.tar.xz
Files:
 93f9c9ba322c84eb2af0fb8aa689d901 2142 math optional why_2.38-1build2.dsc
 3e3f79ef9c926bae916df3d59f42c2f6 11780 math optional why_2.38-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>