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

Thu Aug 31 02:46:15 UTC 2017

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

  * No change rebuild against new ocaml abis.

Date: Thu, 31 Aug 2017 03:45:20 +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-1ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 31 Aug 2017 03:45:20 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.38-1ubuntu2
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-1ubuntu2) artful; urgency=high
 .
   * No change rebuild against new ocaml abis.
Checksums-Sha1:
 74801dc024175ef09ee770ba8518b8c448904264 1980 why_2.38-1ubuntu2.dsc
 c35f00f84211b40113ed3223f88e0d80c84dcded 11944 why_2.38-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 44464cb446c08fa61ce50edca63f4c434e13c5b44ed2f883bf9fdce0550a31be 1980 why_2.38-1ubuntu2.dsc
 b9bf9d05b2d318ff37d1cc8836094f4b7c0ade146bf434d70b1a02e30e9cf19f 11944 why_2.38-1ubuntu2.debian.tar.xz
Files:
 f2b84f777f8db8cf26ac5176fcdbdbf6 1980 math optional why_2.38-1ubuntu2.dsc
 01724c250ebcbf734a77f2e3c31d0a93 11944 math optional why_2.38-1ubuntu2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>